Automated Functional Verification of Application Specific Instruction-set Processors
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106324" target="_blank" >RIV/00216305:26230/13:PU106324 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-642-38853-8" target="_blank" >http://dx.doi.org/10.1007/978-3-642-38853-8</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-38853-8" target="_blank" >10.1007/978-3-642-38853-8</a>
Alternative languages
Result language
angličtina
Original language name
Automated Functional Verification of Application Specific Instruction-set Processors
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>ost</sub> - Miscellaneous article in a specialist periodical
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Environmental Software Systems
ISSN
1868-4238
e-ISSN
1868-422X
Volume of the periodical
4
Issue of the periodical within the volume
403
Country of publishing house
DE - GERMANY
Number of pages
10
Pages from-to
128-138
UT code for WoS article
—
EID of the result in the Scopus database
—