|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2011 Asian Test Symposium
Mapping Transaction Level Faults to Stuck-At Faults in Communication Hardware
New Delhi, Delhi India
November 20-November 23
ISBN: 978-0-7695-4583-7
| ASCII Text | x | ||
| Fatemeh Javaheri, Majid Namaki-Shoushtari, Parastoo Kamranfar, Zainalabedin Navabi, "Mapping Transaction Level Faults to Stuck-At Faults in Communication Hardware," 2012 IEEE 21st Asian Test Symposium, pp. 114-119, 2011 Asian Test Symposium, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/ATS.2011.94, author = {Fatemeh Javaheri and Majid Namaki-Shoushtari and Parastoo Kamranfar and Zainalabedin Navabi}, title = {Mapping Transaction Level Faults to Stuck-At Faults in Communication Hardware}, journal ={2012 IEEE 21st Asian Test Symposium}, volume = {0}, year = {2011}, issn = {1081-7735}, pages = {114-119}, doi = {http://doi.ieeecomputersociety.org/10.1109/ATS.2011.94}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE 21st Asian Test Symposium TI - Mapping Transaction Level Faults to Stuck-At Faults in Communication Hardware SN - 1081-7735 SP114 EP119 A1 - Fatemeh Javaheri, A1 - Majid Namaki-Shoushtari, A1 - Parastoo Kamranfar, A1 - Zainalabedin Navabi, PY - 2011 KW - TLM KW - test KW - high-level fault model KW - synthesis KW - formal model KW - mutated model VL - 0 JA - 2012 IEEE 21st Asian Test Symposium ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ATS.2011.94
Advances in semiconductor technology, the increasing complexity of digital systems and demand for faster time to market, have raised the level of design from transistor to Electronic System Level (ESL). However, digital system testing remains at lower levels of abstraction. To cover the gap between system-level design and test, this paper presents a method of testing communication links at the ESL. For this purpose, system-level communication links are formally represented by Timed Automata (TA) to perform the fault simulation process automatically. This is facilitated by a set of high-level fault models that includes faults for data and control parts of a communication link. We show how the proposed high-level fault models map into faults at the gate level in communication hardware. The proposed test strategy not only applies communication links, but also can be used for testing processing elements using an appropriate fault model.
Index Terms:
TLM, test, high-level fault model, synthesis, formal model, mutated model
Citation:
Fatemeh Javaheri, Majid Namaki-Shoushtari, Parastoo Kamranfar, Zainalabedin Navabi, "Mapping Transaction Level Faults to Stuck-At Faults in Communication Hardware," ats, pp.114-119, 2011 Asian Test Symposium, 2011
Usage of this product signifies your acceptance of the Terms of Use.
