MORE: an alternative implementation of BDD packages by multi-operand synthesis

European Design Automation Conference - Proceedings

Volumn , Issue , 1996, Pages 164-169

  Hett, Andreas ^a   Drechsler, Rolf ^a   Becker, Bernd ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; DATA STRUCTURES; DECISION THEORY; GRAPH THEORY; LOGIC DESIGN; MATHEMATICAL OPERATORS; RECURSIVE FUNCTIONS;

BINARY DECISION DIAGRAMS; COMPUTED TABLE; EXISTENTIAL QUANTIFICATION; IF THEN ELSE OPERATOR; ISOMORPHIC SUBGRAPHS; RECURSIVE SYNTHESIS OPERATIONS;

ALGORITHMS;

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

References (16)