Detail produktu
HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware
Vznik: 2012
Název česky
HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA
Typ
software
Licence
vyžadována - zdarma
Autoři
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Kajan Michal, Ing. (UPSY FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Kajan Michal, Ing. (UPSY FIT VUT)
Popis
Tento rámec je kompatibilní se současnými převažujícími metodikami pro funkční verifikaci hardware (OVM, UVM) a umožňuje akcelerovat funkční verifikaci hardwarových komponent v prostředí programovatelných hradlových polí FPGA, čímž lze dosáhnout znatelně lepší efektivity verifikace.
Umístění
Nástroj i dokumentaci lze získat na URL http://www.fit.vutbr.cz/~isimkova/haven/
Licence
Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).
Projekty
Centrum excelence IT4Innovations (ED1.1.00/02.0070)
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (GD102/09/H042)
Pokročilé bezpečné, spolehlivé a adaptivní IT (FIT-S-11-1)
Pokročilé rozpoznávání a prezentace multimediálních dat (FIT-S-11-2)
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
Reduced Certification Costs Using Trusted Multi-core Platforms (100202 - RECOMP)
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (GD102/09/H042)
Pokročilé bezpečné, spolehlivé a adaptivní IT (FIT-S-11-1)
Pokročilé rozpoznávání a prezentace multimediálních dat (FIT-S-11-2)
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
Reduced Certification Costs Using Trusted Multi-core Platforms (100202 - RECOMP)
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)
Výzkumné skupiny
Pracoviště
Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)
Ústav počítačových systémů FIT VUT v Brně (UPSY FIT VUT)
Ústav počítačových systémů FIT VUT v Brně (UPSY FIT VUT)