Breadth-first manipulation of very large binary-decision diagrams

Volumn , Issue , 1993, Pages 48-55

  Ochi, Hiroyuki ^a   Yasuoka, Koichi ^a   Yajima, Shuzo ^a  

^a KYOTO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY SEQUENCES; BODE DIAGRAMS; BOOLEAN FUNCTIONS; ELECTRIC NETWORK SYNTHESIS; LSI CIRCUITS; RANDOM ACCESS STORAGE; SEQUENTIAL CIRCUITS; STORAGE ALLOCATION (COMPUTER);

BREADTH FIRST MANIPULATION; SHARED BINARY DECISION DIAGRAMS; SHARED QUASI REDUCED BINARY DECISION DIAGRAMS;

DECISION TABLES;

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

References (8)