May 27 – 29, 2026
CERN
Europe/Zurich timezone
There is a live webcast for this event.
Ask questions on discord: https://cern.ch/fdf-qa

Session

Verification

May 28, 2026, 9:00 AM
500/1-001 - Main Auditorium (CERN)

500/1-001 - Main Auditorium

CERN

400
Show room on map

Conveners

Verification: 1

  • Mathieu Saccani (CERN)

Presentation materials

There are no materials yet.

  1. Markus Leiter (p2l2)
    5/28/26, 9:00 AM
    HDL verification and simulation tools
    Talk

    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
  2. Augusto Fraga Giachero (CNPEM / LNLS)
    5/28/26, 9:30 AM
    HDL verification and simulation tools
    Talk

    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
  3. Matthias Kern (p2l2)
    5/28/26, 10:00 AM
    HDL verification and simulation tools
    Talk

    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
Building timetable...