Decision diagrams in synthesis - algorithms, applications and extensions

Proceedings of the IEEE International Conference on VLSI Design

Volumn , Issue , 1997, Pages 46-50

  Becker, B ^a   Drechsler, R ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; FORMAL LOGIC; INTEGRATED CIRCUITS;

DECISION DIAGRAMS;

COMPUTER AIDED DESIGN;

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

References (40)