Improved approximate reachability using auxiliary state variables

Proceedings - Design Automation Conference

Volumn , Issue , 1999, Pages 312-316

  Govindaraju, Shankar G ^a   Dill, David L ^a   Bergmann, Jules P ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; DECISION THEORY; ELECTRIC NETWORK ANALYSIS; ELECTRIC NETWORK SYNTHESIS; SET THEORY;

APPROXIMATE REACHABILITY METHODS; AUXILIARY STATE VARIABLES; BINARY DECISION DIAGRAMS (BDD);

COMBINATORIAL CIRCUITS;

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

References (9)