On the representational power of bit-level and word-level decision diagrams

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 1997, Pages 461-467

  Becker, Bernd ^a   Drechsler, Rolf ^a   Enders, Reinhard ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER AIDED LOGIC DESIGN; INTEGRATED CIRCUITS; MATHEMATICAL MODELS; MINIMIZATION OF SWITCHING NETS;

BINARY MOMENT DIAGRAMS (BMD); FACTORED EDGE VALUED BINARY DECISION DIAGRAMS (FEVBDD); MULTITERMINAL BINARY DECISION DIAGRAM (MTBDD); ORDERED BINARY DECISION DIAGRAMS (OBDD); ORDERED FUNCTIONAL DECISION DIAGRAMS (OFDD); ORDERED KRONECKER FUNCTIONAL DECISION DIAGRAMS (OKFDD);

DECISION TABLES;

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

References (21)