Heuristic minimization of BDDs using don't cares

Proceedings - Design Automation Conference

Volumn , Issue , 1994, Pages 225-231

  Shiple, Thomas R ^a   Hojati, Ramin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CONFORMAL MAPPING; FINITE AUTOMATA; HEURISTIC METHODS; LOGIC GATES; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION; SCHEDULING; SEQUENTIAL MACHINES; SWITCHING FUNCTIONS;

BINARY DECISION DIAGRAM; FIELD PROGRAMMABLE GATE ARRAY; FINITE STATE MACHINES; HEURISTIC ALGORITHMS;

MINIMIZATION OF SWITCHING NETS;

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

References (9)