Coverage estimation for symbolic model checking

Proceedings - Design Automation Conference

Volumn , Issue , 1999, Pages 300-305

  Hoskote, Yatin ^a   Kam, Timothy ^a   Ho, Pei Hsin ^a   Zhao, Xudong ^a  

^a INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER DEBUGGING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; MATHEMATICAL MODELS;

FORMAL VERIFICATION METHODS; SYMBOLIC MODEL CHECKING ALGORITHMS;

APPLICATION SPECIFIC INTEGRATED CIRCUITS;

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

References (9)