Detail publikace

HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware

ZACHARIÁŠOVÁ, M. LENGÁL, O. KAJAN, M.

Originální název

HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware

Anglický název

HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware

Jazyk

en

Originální abstrakt

Functional verification is a widespread technique to check whether a hardware system satisfies a given correctness specification. As the complexity of modern hardware systems rises rapidly, it is a challenging task to find appropriate techniques for acceleration of this process. In this paper we present HAVEN, a freely available open functional verification framework that exploits the field-programmable gate array (FPGA) technology for cycle-accurate acceleration of simulation-based verification runs. HAVEN takes advantage of the inherent parallelism of hardware systems and moves the verified system together with transaction-based interface components of the functional verification environment from software into an FPGA. The presented framework is written in SystemVerilog and complies with the principles of functional verification methodologies (OVM, UVM), assertion-based verification, and also provides adequate debugging visibility, making its application range quite large. Our experiments confirm the assumption that the achieved acceleration is proportional to the complexity of the verified system.

Anglický abstrakt

Functional verification is a widespread technique to check whether a hardware system satisfies a given correctness specification. As the complexity of modern hardware systems rises rapidly, it is a challenging task to find appropriate techniques for acceleration of this process. In this paper we present HAVEN, a freely available open functional verification framework that exploits the field-programmable gate array (FPGA) technology for cycle-accurate acceleration of simulation-based verification runs. HAVEN takes advantage of the inherent parallelism of hardware systems and moves the verified system together with transaction-based interface components of the functional verification environment from software into an FPGA. The presented framework is written in SystemVerilog and complies with the principles of functional verification methodologies (OVM, UVM), assertion-based verification, and also provides adequate debugging visibility, making its application range quite large. Our experiments confirm the assumption that the achieved acceleration is proportional to the complexity of the verified system.

Dokumenty

BibTex


@article{BUT76422,
  author="Marcela {Zachariášová} and Ondřej {Lengál} and Michal {Kajan}",
  title="HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware",
  annote="Functional verification is a widespread technique to check whether a hardware
system satisfies a given correctness specification. As the complexity of modern
hardware systems rises rapidly, it is a challenging task to find appropriate
techniques for acceleration of this process. In this paper we present HAVEN,
a freely available open functional verification framework that exploits the
field-programmable gate array (FPGA) technology for cycle-accurate acceleration
of simulation-based verification runs. HAVEN takes advantage of the inherent
parallelism of hardware systems and moves the verified system together with
transaction-based interface components of the functional verification environment
from software into an FPGA. The presented framework is written in SystemVerilog
and complies with the principles of functional verification methodologies (OVM,
UVM), assertion-based verification, and also provides adequate debugging
visibility, making its application range quite large. Our experiments confirm the
assumption that the achieved acceleration is proportional to the complexity of
the verified system.",
  address="Springer Verlag",
  booktitle="Proceedings of HVC'11",
  chapter="76422",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Springer Verlag",
  number="7261",
  volume="2012",
  year="2012",
  month="april",
  pages="247--253",
  publisher="Springer Verlag",
  type="journal article - other"
}