All types of publications

Šimková, M.: Hardware Accelerated Functional Verification - Framework for FPGA-Accelerated Functional Verification, Saarbrucken, DE, LAP, 2011, p. 60, ISBN 978-3-8465-5913-0
Publication language:english
Original title:Hardware Accelerated Functional Verification
Title (cs):Hardwarově akcelerovaná funkční verifikace - Prostředí pro akceleraci funkční verifikace pomocí FPGA
Pages:60
Place:Saarbrucken, DE
Year:2011
ISBN:978-3-8465-5913-0
Publisher:Lambert Academic Publishing
Keywords
functional verification, FPGA, acceleration, SystemVerilog
Annotation
Functional verification is a widespread technique to check whether a hardware system satisfies a given correctness specification. As the complexity of modern hardware systems rises rapidly, it is a challenging task to find appropriate techniques for acceleration of this process. This thesis introduces a design of a verification framework that exploits the field-programmable gate array (FPGA) technology for cycle-accurate acceleration of simulation-based verification, while retaining the possibility to run verification also in the user-friendly debugging environment of a simulator. The presented framework is written in SystemVerilog and complies with the principles of functional verification methodologies (OVM, UVM) as well as assertion-based verification, making its application range quite large. According to the experiments carried out on a prototype implementation, the achieved acceleration is proportional to the number of checked transactions and the complexity of the verified system. The maximum acceleration achieved on the set of experiments was over 130 times.
BibTeX:
@BOOK{
   author = {Marcela Šimková},
   title = {Hardware Accelerated Functional Verification},
   pages = {60},
   year = {2011},
   location = {Saarbrucken, DE},
   publisher = {Lambert Academic Publishing},
   ISBN = {978-3-8465-5913-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9847}
}

Your IPv4 address: 184.72.91.94
Switch to IPv6 connection

DNSSEC [dnssec]