Detail publikace

Hardware Accelerated Functional Verification

ZACHARIÁŠOVÁ, M.

Originální název

Hardware Accelerated Functional Verification

Anglický název

Hardware Accelerated Functional Verification

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

Dokumenty

BibTex


@inproceedings{BUT76419,
  author="Marcela {Zachariášová}",
  title="Hardware Accelerated Functional Verification",
  annote="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.",
  address="Faculty of Information Technology BUT",
  booktitle="Proceedings of the 17th Conference STUDENT EEICT 2011",
  chapter="76419",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Faculty of Information Technology BUT",
  year="2011",
  month="july",
  pages="321--323",
  publisher="Faculty of Information Technology BUT",
  type="conference paper"
}