Formal verification using parametric representations of Boolean constraints

Proceedings - Design Automation Conference

Volumn , Issue , 1999, Pages 402-407

  Aagaard, Mark D ^a   Jones, Robert B ^a   Seger, Carl Johan H ^a  

^a INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER SIMULATION; CONSTRAINT THEORY; ENCODING (SYMBOLS);

BOOLEAN CONSTRAINT PARAMETRIC PRESENTATION; FORMAL VERIFICATION;

FORMAL LOGIC;

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

References (13)