Using lower bounds during dynamic BDD minimization

Proceedings - Design Automation Conference

Volumn , Issue , 1999, Pages 29-32

  Drechsler, Rolf ^a   Guenther, Wolfgang ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER AIDED DESIGN; DATA STRUCTURES; DECISION THEORY; INTEGRATED CIRCUIT LAYOUT;

BINARY DECISION DIAGRAMS (BDD);

VLSI CIRCUITS;

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

References (16)