Detail publikace

Automated Functional Verification of Application Specific Instruction-set Processors

ZACHARIÁŠOVÁ, M. PŘIKRYL, Z. HRUŠKA, T. KOTÁSEK, Z.

Originální název

Automated Functional Verification of Application Specific Instruction-set Processors

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Functional Verification OVM Application Specific Instruction-set Processors EDA Tools

Autoři

ZACHARIÁŠOVÁ, M.; PŘIKRYL, Z.; HRUŠKA, T.; KOTÁSEK, Z.

Rok RIV

2013

Vydáno

19. 2. 2013

Nakladatel

Springer Verlag

Místo

Berlin Heidelberg

ISSN

1868-4238

Periodikum

IFIP Advances in Information and Communication Technology

Ročník

4

Číslo

403

Stát

Švýcarská konfederace

Strany od

128

Strany do

138

Strany počet

10

BibTex

@article{BUT103464,
  author="Marcela {Zachariášová} and Zdeněk {Přikryl} and Tomáš {Hruška} and Zdeněk {Kotásek}",
  title="Automated Functional Verification of Application Specific Instruction-set Processors",
  journal="IFIP Advances in Information and Communication Technology",
  year="2013",
  volume="4",
  number="403",
  pages="128--138",
  doi="10.1007/978-3-642-38853-8",
  issn="1868-4238"
}