Efficient combinational verification using BDDs and a hash table

Proceedings - IEEE International Symposium on Circuits and Systems

Volumn 2, Issue , 1997, Pages 1025-1028

  Mukherjee, Rajarshi ^a   Jain, Jawahar ^a   Takayama, Koichiro ^a   Fujita, Masahiro ^a   Abraham, Jacob A ^a   Fussell, Donald S ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY SEQUENCES; COMPUTER AIDED LOGIC DESIGN; DECISION TABLES; EQUIVALENCE CLASSES; HEURISTIC METHODS; VECTORS;

BINARY DECISION DIAGRAMS; BIT VECTORS;

COMBINATORIAL CIRCUITS;

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

References (17)