loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
1999 17TH IEEE VLSI Test Symposium
Verification of Processor Microarchitectures
San Diego, California
April 26-April 30
ISBN: 0-7695-0146-X
ASCII Text
x 
 
Jian Shen, Jacob A. Abraham, "Verification of Processor Microarchitectures," VLSI Test Symposium, IEEE, pp. 189, 1999 17TH IEEE VLSI Test Symposium, 1999.
 
 
BibTex
x
 
@article{ 10.1109/VTEST.1999.766664,
author = {Jian Shen and Jacob A. Abraham},
title = {Verification of Processor Microarchitectures},
journal ={VLSI Test Symposium, IEEE},
volume = {0},
year = {1999},
issn = {1093-0167},
pages = {189},
doi = {http://doi.ieeecomputersociety.org/10.1109/VTEST.1999.766664},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - VLSI Test Symposium, IEEE
TI - Verification of Processor Microarchitectures
SN - 1093-0167
SP
EP
A1 - Jian Shen,
A1 - Jacob A. Abraham,
PY - 1999
VL - 0
JA - VLSI Test Symposium, IEEE
ER -
 
Jian Shen, The University of Texas at Austin
Jacob A. Abraham, The University of Texas at Austin
This paper develops a new abstraction technique for processor microarchitecture validation. An abstract finite-state machine model is derived directly from the processor HDL description. This model, along with information about the instruction set, is used for validation coverage analysis. We also present automatic test generation algorithms for generating sequences for traversing state transition paths and covering snapshot and temporal events.
Citation:
Jian Shen, Jacob A. Abraham, "Verification of Processor Microarchitectures," vts, pp.189, 1999 17TH IEEE VLSI Test Symposium, 1999
Usage of this product signifies your acceptance of the Terms of Use.