Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1996, Pages 547-554

  Narayan, Amit ^a   Jain, Jawahar ^a   Fujita, M ^a   Sangiovanni Vincentelli, A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTION EVALUATION; SEMICONDUCTOR DEVICE MODELS;

BOOLEAN SPACE; FREE BINARY DECISION DIAGRAMS (FBDD); REDUCED ORDERED BINARY DECISION DIAGRAMS (ROBDD); SPACE EFFICIENCY;

BOOLEAN FUNCTIONS;

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

References (29)