Shared binary decision diagram with attributed edges for efficient Boolean function manipulation

27th ACM/IEEE Design Automation Conference. Proceedings 1990

Volumn , Issue , 1990, Pages 52-57

  Minato, Shin ichi ^a   Ishiura, Nagisa ^a   Yajima, Shuzo ^a  

^a KYOTO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - BOOLEAN FUNCTIONS;

BINARY DECISION DIAGRAMS;

LOGIC DESIGN;

EID: 0025531771     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/123186.123225     Document Type: Conference Paper

References (7)