Conveners
Verification: 1
- Mathieu Saccani (CERN)
-
Markus Leiter (p2l2)5/28/26, 9:00 AMHDL verification and simulation toolsTalk
This talk takes an in-depth look inside a UVVM VVC, explaining its internal architecture and core design principles. Key concepts such as the command-based interface, command queue, command interpreter, and executor are explored in detail, along with synchronization mechanisms, transaction handling, and the interaction with Bus Functional Models (BFMs).
Building on this foundation, the...
Go to contribution page -
Augusto Fraga Giachero (CNPEM / LNLS)5/28/26, 9:30 AMHDL verification and simulation toolsTalk
The current scenario of HDL open-source simulators has changed significantly, raising the question of what cases traditional commercial simulators are still necessary.
GHDL and NVC are advancing quickly towards full VHDL 2008 compliance in addition to experimental VHDL 2019 support in NVC. Mixed language simulation has been a challenge with open-source tools, previous attempts used...
Go to contribution page -
Matthias Kern (p2l2)5/28/26, 10:00 AMHDL verification and simulation toolsTalk
HDL simulation is essential for verifying digital designs, but its computational intensity often results in slow turnaround times, delaying development cycles.
This presentation demonstrates how AMD Alveo FPGA acceleration cards, integrated with open source HDL simulators and frameworks, can dramatically speed up simulation workflows.The presentation begins by outlining the bottlenecks in...
Go to contribution page