To model check or not to model check

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Volumn , Issue , 1998, Pages 314-320

  Saxena, Nina ^a   Baumgartner, Jason ^a   Saha, Avijit ^a   Abraham, Jacob ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER HARDWARE; COMPUTER SIMULATION; MATHEMATICAL MODELS; USER INTERFACES; VECTORS;

DESIGN VERIFICATION; MODEL CHECKING;

ERROR CORRECTION;

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

References (7)