Limits of using signatures for permutation independent Boolean comparison

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

Volumn , Issue , 1995, Pages 459-464

  Mohnke, Janett ^a   Molitor, Paul ^a   Malik, Sharad ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL CIRCUITS; COMPUTATIONAL METHODS; DATA PROCESSING; DECISION TABLES; EQUIVALENCE CLASSES; LOGIC DESIGN; PROBLEM SOLVING;

BENCHMARKS; LOGIC SYNTHESIS; LOGIC VERIFICATION; PERMUTATION PROBLEM; REDUCED ORDERED BINARY DECISION DIAGRAM; SIGNATURES;

BOOLEAN FUNCTIONS;

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

References (11)