Publication result detail

Hardware Accelerated Functional Verification

ZACHARIÁŠOVÁ, M.

Original Title

Hardware Accelerated Functional Verification

English Title

Hardware Accelerated Functional Verification

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

Functional verification is a widespread technique for checking whether a hardware system satisfies a given correctness specification. The complexity of modern computer systems is rapidly rising and the verification process takes significant amount of time. It is a challenging process to find appropriate acceleration techniques. We introduce a strategy for acceleration of functional verification using FPGAs by targeting special components of the verification environment to the FPGA.

English abstract

Functional verification is a widespread technique for checking whether a hardware system satisfies a given correctness specification. The complexity of modern computer systems is rapidly rising and the verification process takes significant amount of time. It is a challenging process to find appropriate acceleration techniques. We introduce a strategy for acceleration of functional verification using FPGAs by targeting special components of the verification environment to the FPGA.

Keywords

functional verification, testbench, SystemVerilog, hardware acceleration, FPGA

Key words in English

functional verification, testbench, SystemVerilog, hardware acceleration, FPGA

Authors

ZACHARIÁŠOVÁ, M.

RIV year

2012

Released

04.07.2011

Publisher

Faculty of Information Technology BUT

Location

Brno

ISBN

978-80-214-4272-6

Book

Proceedings of the 17th Conference STUDENT EEICT 2011

Pages from

321

Pages to

323

Pages count

3

URL

http://www.feec.vutbr.cz/EEICT/2011/sbornik/02-Magisterske%20projekty/10-Pocitacove%20systemy/10-xsimko03.pdf

BibTex

@inproceedings{BUT76419,
  author="Marcela {Zachariášová}",
  title="Hardware Accelerated Functional Verification",
  booktitle="Proceedings of the 17th Conference STUDENT EEICT 2011",
  year="2011",
  pages="321--323",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="978-80-214-4272-6",
  url="http://www.feec.vutbr.cz/EEICT/2011/sbornik/02-Magisterske%20projekty/10-Pocitacove%20systemy/10-xsimko03.pdf"
}