Early quantification and partitioned transition relations

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Volumn , Issue , 1996, Pages 12-19

  Hojati, Ramin ^a   Krishnan, Sriram C ^a   Brayton, Robert K ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY CODES; COMPUTER HARDWARE; DECISION TABLES; DIGITAL COMPUTERS; GRAPH THEORY; HEURISTIC METHODS;

BINARY DECISION DIAGRAMS (BDD); FINITE STATE MACHINES (FSM); PARTITIONED TRANSITION RELATIONS PROBLEM;

FINITE AUTOMATA;

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

References (0)