Edge-valued binary decision diagrams for multi-level hierarchical verification

Proceedings - Design Automation Conference

Volumn , Issue , 1992, Pages 608-613

  Lai, Yung Te ^a   Sastry, Sarma ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; EXPERT SYSTEMS; GRAPH THEORY; HIERARCHICAL SYSTEMS;

BINARY DECISION DIAGRAMS; VARIABLE ORDERING STRATEGY;

DECISION THEORY;

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

References (12)