loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
9th International Symposium on Quality Electronic Design (isqed 2008)
Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions
March 17-March 19
ISBN: 978-0-7695-3117-5
ASCII Text
x 
 
Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi, "Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions," Quality Electronic Design, International Symposium on, pp. 230-235, 9th International Symposium on Quality Electronic Design (isqed 2008), 2008.
 
 
BibTex
x
 
@article{ 10.1109/ISQED.2008.19,
author = {Mohammad Reza Kakoee and Mohammad Riazati and Siamak Mohammadi},
title = {Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions},
journal ={Quality Electronic Design, International Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3117-5},
pages = {230-235},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISQED.2008.19},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Electronic Design, International Symposium on
TI - Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions
SN - 978-0-7695-3117-5
SP230
EP235
A1 - Mohammad Reza Kakoee,
A1 - Mohammad Riazati,
A1 - Siamak Mohammadi,
PY - 2008
KW - Assertion Synthesis
KW - Online Testing
KW - Assertion Unification
VL - 0
JA - Quality Electronic Design, International Symposium on
ER -
 
Assertions are being used more and more in design verification. The next application of assertions seems to be hardware testing. In this paper we propose an efficient approach for selecting and synthesizing OVL assertions in order to use them in online testing domain. First, based on the ATPG results and fault simulation, we find a set of assertions which have a high fault coverage according to their hardware area. Then, instead of synthesizing each assertion separately, we merge similar assertions together and make a unified hardware checker so that we can attain minimal resource usage for assertion circuits and reduce hardware overhead.
Index Terms:
Assertion Synthesis, Online Testing, Assertion Unification
Citation:
Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi, "Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions," isqed, pp.230-235, 9th International Symposium on Quality Electronic Design (isqed 2008), 2008
Usage of this product signifies your acceptance of the Terms of Use.