Explicit-enumeration based verification made memory-efficient

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 1995, Pages 617-622

  Nalumasu, Ratan ^a   Gopalakrishnan, Ganesh ^a  

^a UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DATA STORAGE EQUIPMENT; GRAPH THEORY; MATHEMATICAL MODELS; STATE SPACE METHODS;

EXPLICIT ENUMERATION; MEMORY EFFICIENT; SEQUENTIAL REGION; SYMMETRIES;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0029507218     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)