Implementation of an efficient parallel BDD package

Proceedings - Design Automation Conference

Volumn , Issue , 1996, Pages 641-644

  Stornetta, Tony ^a   Brewer, Forrest ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BLOCK CODES; BOOLEAN FUNCTIONS; BUFFER STORAGE; COMPUTER WORKSTATIONS; DATA STRUCTURES; DECISION TABLES; PARALLEL PROCESSING SYSTEMS;

BINARY DECISION PACKAGE (BDD); HASH TABLE;

ELECTRIC NETWORK SYNTHESIS;

EID: 0029720349     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/240518.240639     Document Type: Conference Paper

References (13)