New techniques for efficient verification with implicitly conjoined BDDs

Proceedings - Design Automation Conference

Volumn , Issue , 1994, Pages 276-282

  Hu, Alan J ^a   York, Gary ^a   Dill, David L ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY SEQUENCES; COMPUTER HARDWARE; COMPUTER SIMULATION; DECISION THEORY; FINITE AUTOMATA; FORMAL LANGUAGES; HEURISTIC METHODS; STATE SPACE METHODS; USER INTERFACES;

AUTOMATIC FORMAL HARDWARE VERIFICATION; BINARY DECISION DIAGRAMS; FINITE STATE MACHINE; SOPHISTICATED HEURISTIC;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0028553477     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/196244.196377     Document Type: Conference Paper

References (24)