Journal article

ZACHARIÁŠOVÁ Marcela, PŘIKRYL Zdeněk, HRUŠKA Tomáš and KOTÁSEK Zdeněk. Automated Functional Verification of Application Specific Instruction-set Processors. IFIP Advances in Information and Communication Technology. Heidelberg: Springer Verlag, 2013, vol. 4, no. 403, pp. 128-138. ISSN 1868-4238.
Publication language:english
Original title:Automated Functional Verification of Application Specific Instruction-set Processors
Title (cs):Automatická verifikace aplikačně specifických instrukčních procesorů
Pages:128-138
Book:Embedded Systems: Design, Analysis and Verification
Place:Berlin Heidelberg, CZ
Year:2013
Journal:IFIP Advances in Information and Communication Technology, Vol. 4, No. 403, Heidelberg, CZ
ISSN:1868-4238
Publisher:Springer Verlag
Keywords
Functional Verification
OVM
Application Specific Instruction-set Processors
EDA Tools
Annotation
Today's highly competitive market of consumer electronics is very sensitive to the time it takes to introduce a new product. However, the ever-growing complexity of application specific instruction-set processors (ASIPs) which are inseparable parts of nowadays complex embedded systems makes this task even more challenging as it is necessary to test and verify significantly bigger portion of logic, tricky timing behaviour or specific corner cases in a defined time schedule. As a consequence, the gap between the proposed verification plan and quality of verification tasks is widening due to this time restriction. One way how to solve this issue is using faster, efficient and cost-effective methods of verification. The aim of this paper is to introduce an automated generation of SystemVerilog verification environments (testbenches) for verification of ASIPs. Results show that our approach reduces the time and effort needed for implementation of testbenches significantly and furthermore, it improves the quality of verification itself.
BibTeX:
@ARTICLE{
   author = {Marcela Zachari{\'{a}}{\v{s}}ov{\'{a}} and Zden{\v{e}}k
	P{\v{r}}ikryl and Tom{\'{a}}{\v{s}} Hru{\v{s}}ka and
	Zden{\v{e}}k Kot{\'{a}}sek},
   title = {Automated Functional Verification of Application Specific
	Instruction-set Processors},
   pages = {128--138},
   booktitle = {Embedded Systems: Design, Analysis and Verification},
   journal = {IFIP Advances in Information and Communication Technology},
   volume = {4},
   number = {403},
   year = {2013},
   location = {Berlin Heidelberg, CZ},
   publisher = {Springer Verlag},
   ISSN = {1868-4238},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=10268}
}

Your IPv4 address: 54.221.93.187
Switch to IPv6 connection

DNSSEC [dnssec]