Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors

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

Volumn , Issue , 1995, Pages 532-537

  Hoskote, Yatin V ^a   Moundanos, Dinos ^a   Abraham, Jacob A ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CIRCUIT THEORY; COMPUTER AIDED DESIGN; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER TESTING; CONTROL; ERROR DETECTION; ESTIMATION; MATHEMATICAL MODELS; SPECIFICATIONS; VECTORS;

AUTOMATIC EXTRACTION; CONTROL FLOW MACHINE; DESIGN VERIFICATION; EXTRACTED CONTROL FLOW MACHINE; VERIFICATION VECTORS;

COMPUTER SIMULATION;

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

References (8)