Symbolic prime generation for multiple-valued functions

Proceedings - Design Automation Conference

Volumn , Issue , 1992, Pages 40-44

  Lin, Bill ^a   Coudert, Olivier ^a   Madre, Jean Christophe ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; FORMAL LOGIC; HEURISTIC METHODS;

BINARY DECISION DIAGRAMS; MULTI-LEVEL LOGIC SYNTHESIS;

MANY VALUED LOGICS;

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

References (7)