Toward formalizing a validation methodology using simulation coverage

Proceedings - Design Automation Conference

Volumn , Issue , 1997, Pages 740-745

  Gupta, Aarti ^a   Malik, Sharad ^a   Ashar, Pranay ^a  

^a NEC LABORATORIES AMERICA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; PIPELINE PROCESSING SYSTEMS; PROGRAM PROCESSORS; STATE SPACE METHODS;

FORMAL VERIFICATION BASED TECHNIQUES; FUNCTIONAL SIMULATION;

COMPUTER HARDWARE;

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

References (25)