Modeling design constraints and biasing in simulation using BDDs

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

Volumn , Issue , 1999, Pages 584-589

  Yuan, Jun ^a   Shultz, Kurt ^a   Pixley, Carl ^a   Miller, Hillel ^a   Aziz, Adnan ^a  

^a MOTOROLA INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTER SIMULATION; DECISION THEORY; GRAPH THEORY; INTEGRATED CIRCUIT TESTING; PROBABILITY; STATE SPACE METHODS;

BINARY DECISION DIAGRAMS; CONSTRAINED PROBABILITY; VERIFICATION;

INTEGRATED CIRCUIT LAYOUT;

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

References (11)