HSIS: a BDD-based environment for formal verification

Proceedings - Design Automation Conference

Volumn , Issue , 1994, Pages 454-459

  Aziz, A ^a   Balarin, F ^a   Cheng, S T ^a   Hojati, R ^a   Kam, T ^a   Krishnan, S C ^a   Ranjan, R K ^a   Shiple, T R ^a   Singhal, V ^a   Tasiran, S ^a   Wang, H Y ^a   Brayton, R K ^a   Sangiovanni Vincentelli, A L ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; DECISION THEORY; FORMAL LANGUAGES; LARGE SCALE SYSTEMS; STATE SPACE METHODS; USER INTERFACES;

BINARY DECISION DIAGRAMS; FORMAL VERIFICATION; OPEN LANGUAGE DESIGN;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0028583838     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)