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"
}