Product Details
HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware
Created: 2012
Czech title
HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA
Type
software
License
required - free
Authors
Zachariášová Marcela, Ing., Ph.D. (DCSY FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Kajan Michal, Ing. (DCSY FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Kajan Michal, Ing. (DCSY FIT BUT)
Keywords
functional verification, SystemVerilog, FPGA, acceleration, NetCOPE
Description
A framework compliant with current prevalent functional verification methodologies (OVM, UVM) that enables to accelerate functional verification of hardware components in an FPGA environment, thus significantly increasing performance of verification.
Location
The tool is available at http://www.fit.vutbr.cz/~isimkova/haven/
Licence
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Projects
Advanced recognition and presentation of multimedia data (FIT-S-11-2)
Advanced secured, reliable and adaptive IT (FIT-S-11-1)
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems (GD102/09/H042)
RECOMP - Reduced Certification Costs Using Trusted Multi-core Platforms (100202 - RECOMP)
Security-Oriented Research in Information Technology (MSM0021630528)
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)
The IT4Innovations Centre of Excellence (ED1.1.00/02.0070)
Advanced secured, reliable and adaptive IT (FIT-S-11-1)
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems (GD102/09/H042)
RECOMP - Reduced Certification Costs Using Trusted Multi-core Platforms (100202 - RECOMP)
Security-Oriented Research in Information Technology (MSM0021630528)
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)
The IT4Innovations Centre of Excellence (ED1.1.00/02.0070)
Research groups
Departments
Department of Computer Systems FIT BUT (DCSY FIT BUT)
Department of Intelligent Systems FIT BUT (DITS FIT BUT)
Department of Intelligent Systems FIT BUT (DITS FIT BUT)