Conveners
HDL development, verification, and simulation tools: Late afternoon
- Nicolo Vladi Biesuz (Universita e INFN, Ferrara (IT))
- Tom Williams (Rutherford Appleton Laboratory (GB))
HDL development, verification, and simulation tools: Morning
- Francesco Gonnella (University of Birmingham (GB))
- Evangelia Gousiou (CERN)
HDL development, verification, and simulation tools: Late morning
- Evangelia Gousiou (CERN)
- Francesco Gonnella (University of Birmingham (GB))
hls4ml (High Level Synthesis for Machine Learning) is a tool for translating Neural Networks to synthesizable gateware for FPGAs. The tool is Python software that presents a user-friendly interface to achieve efficient Machine Learning inference in hardware. hls4ml interfaces to the main ML training libraries, as well as their extensions targeting quantized NNs. At the backend of hls4ml are...
The conifer library is a tool for translating Decision Forests (ensembles of Decision Trees) for latency-optimised inference on FPGAs. Developments to use conifer for trigger selections at the LHC experiments in 2024 are reaching maturity. The tool supports a variety of frontends for the most popular DF training libraries such as xgboost, scikit-learn, and yggdrasil. Multiple FPGA inference...
UVVM is the fastest growing FPGA verification methodology – independent of language. This is due to the improvement UVVM yields in both FPGA quality and development time. This open source Library and Methodology has the most extensive VHDL verification support available and lets you verify complex DUTs in a very efficient manner with great testbench overview. And if you have a really simple...
LoCod (French acronym for “codesign software”) is an open-source hardware/software codesign tool, targeting Zynq UltraScale+ and NanoXplore NG-Ultra systems-on-chip and could be extended to any heterogenous target including FPGA and processor.
From a C language source code, developers can choose, with basic code decoration, which functions of the algorithms should be implemented on the FPGA...
As the technology advances, FPGA devices become more powerful and enable more complex projects. As a result, developers with diverse backgrounds, including different hardware description languages, are required to work together. This is increasingly challenging since the current implementation tools impose constraints on mixed language designs. One key hindrance is that custom type libraries...
Large FPGA firmware designs, such as the ones used in the trigger systems of
HEP experiments, typically contain many hundreds of configuration/status
registers and memories. Managing the required HDL code and software for these
can become challenging. We therefore developed a dedicated tool, called
HardwareCompiler, which parses an XML description of the registers and memories
and...
Traditionally, assertion-based formal verification is performed after RTL development is complete, by a separate team of verification engineers, to comprehensively prove conformance of a design. While this provides the highest safety guarantees, it is also a lengthy endeavour. But it is not necessary to aim to fully prove everything about a design to take advantage of property checkers'...
Verification of digital systems is an art, and often implemented through testbenches and functional verification.
Formal verification is an alternative approach where we describe properties representing the expected behaviour of the system. It allows to prove these properties are fulfilled through assertions. It complements traditional behavioural simulations and allows to detect issues...
The mid-range FPGA market currently sees the introduction of new FPGA(-SoC) devices with attractive specs. This presentation highlights three key areas to avoid vendor lock-in by leveraging OSS model-based source code generation. The use case is a tabletop 3D laser scanner, implemented on FPGA(-SoC) devices of all major vendors.
Firstly, in FPGA designs requiring (CPU) host-based control,...
The coordination of firmware development among numerous developers is a major issue in any collaboration.
This requires standardised tools for ensuring binary file traceability and firmware synthesis with Place and Route repeatability.
To address these problems, we present Hog, a free and open-source tool for maintaining HDL on git.
Hog integrates within HDL IDEs (Intel Quartus, MicroSemi...
FPGA design is complex, there are many design tools which allow implementing our design. What is missing however, is the step before implementation, architecture. There is no standard industry tool for developing this, instead engineers use a variety of tools from Draw IO to Visio and power point. All unsuited to the task, what is needed is the ability to create the architecture and from that...
