Novel verification framework combining structural and OBDD methods in a synthesis environment

Proceedings - Design Automation Conference

Volumn , Issue , 1995, Pages 414-419

  Reddy, Subodh M ^a   Kunz, Wolfgang ^a   Pradhan, Dhiraj K ^a  

^a TEXAS A AND M UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL CIRCUITS; EQUIVALENCE CLASSES; ERRORS; GRAPH THEORY; LEARNING SYSTEMS; RECURSIVE FUNCTIONS;

CIRCUIT PARTITIONING; FORMAL LOGIC VERIFICATION; ORDERED BINARY DECISION DIAGRAMS; RECURSIVE LEARNING;

LOGIC DESIGN;

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

References (20)