Detail publikace
HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware
functional verification, testbench, SystemVerilog, hardware acceleration, FPGA
Funkční verifikace je jednou z nejrozšířenějších technik pro ověření korektnosti hardwarového systému vzhledem k jeho specifikaci. Složitost moderních počítačových systému rapidně roste a v současnosti je nalezení vhodné akcelerační techniky pro proces verifikace velkou výzvou. Tenhle článek prezentuje HAVEN, volně dostupnou a otevřenou verifikační platformu, která využívá FPGA technologii pro akceleraci verifikačních běhů. HAVEN s výhodou využívá inherentního paralelismu hardwarových systémů a přesouvá verifikovaný systém společně s přidruženými komponentami verifikačního prostředí do FPGA. Prezentovaná platforma je naprogramována v jazyku SystemVerilog a přidržuje se principů funkčních verifikačních metodik (OVM, UVM), verifikace pomocí formálních předpokladů a poskytuje adekvátní ladící prostředí s postačující viditelností signálů, proto jsou možnosti použití značné. Naše experimenty povrdily, že stupeň urychlení procesu verifikace závisí na složitosti verifikovaného systému.
@techreport{BUT192767,
author="Marcela {Zachariášová} and Ondřej {Lengál} and Michal {Kajan}",
title="HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware",
year="2011",
publisher="Faculty of Information Technology BUT",
address="FIT-TR-2011-05, Brno",
pages="16",
url="http://www.fit.vutbr.cz/~ilengal/pub/FIT-TR-2011-05.pdf"
}