AND/OR reasoning graphs for determining prime implicants in multi-level combinational networks

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

Volumn , Issue , 1997, Pages 529-538

  Stoffel, Dominik ^a   Kunz, Wolfgang ^a   Gerber, Stefan ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; MINIMIZATION OF SWITCHING NETS; PROBLEM SOLVING; SWITCHING FUNCTIONS; THEOREM PROVING;

PRIME IMPLICANTS;

COMBINATORIAL CIRCUITS;

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

References (18)