loading...
Simulation Using Code-Perturbation: Black- and White-Box Approach
San Jose, California March 26-March 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISQED.2001.915204International Symposium on Quality El ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Zan Yang, Byeong Min, Gwan Choi, "Simulation Using Code-Perturbation: Black- and White-Box Approach," Quality Electronic Design, International Symposium on, pp. 44, International Symposium on Quality Electronic Design (ISQED '01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ISQED.2001.915204,
author = {Zan Yang and Byeong Min and Gwan Choi},
title = {Simulation Using Code-Perturbation: Black- and White-Box Approach},
journal ={Quality Electronic Design, International Symposium on},
volume = {0},
year = {2001},
isbn = {0-7695-1025-6},
pages = {44},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISQED.2001.915204},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Electronic Design, International Symposium on
TI - Simulation Using Code-Perturbation: Black- and White-Box Approach
SN - 0-7695-1025-6
SP
EP
A1 - Zan Yang,
A1 - Byeong Min,
A1 - Gwan Choi,
PY - 2001
VL - 0
JA - Quality Electronic Design, International Symposium on
ER -
 
Zan Yang, Texas A&M University
Byeong Min, Texas A&M University
Gwan Choi, Texas A&M University
This paper presents a new approach in simulation-base hardware verification, which uses application programs as the test inputs. The approach perturbs the program-control-flow during the simulation to exhaust all branching possibilities in a verification program. It keeps the structure of the verification program at code-segment level and takes a significantly less time than that the straightforward simulation approach does. This approach can be further classified into two categories: the black-box approach and the white-box approach. The black-box approach can be applied to a wide range of programs. It is a cost-efficient method for verifying the integrated model of the hardware/software systems. On the other hand, the white-box approach can be used to retain the correct software state (the hardware state seen by the software) during a simulation.
Citation:
Zan Yang, Byeong Min, Gwan Choi, "Simulation Using Code-Perturbation: Black- and White-Box Approach," isqed, pp.44, International Symposium on Quality Electronic Design (ISQED '01), 2001
Usage of this product signifies your acceptance of the Terms of Use.