alainmarcel/help_wanted

Ideas that need engineering-power from the community for UHDM/Surelog/Related topics

help_wanted's Issues

Documentation for UHDM and Surelog

Looking for a Tech writer to help us document UHDM and Surelog

Random tests based Verification for Surelog-UHDM-Yosys flow

We need to create/adapt an open-source random stimulus generator to generate/record test traces at RTL and compare with the post-synthesis simulation.
We need to apply this technique to all modules of the Ibex core to verify at the first order that the Synthesis flow performs correctly.
That has to be done before we attempt to get more sophisticated tests like the UVM based tests that come with Ibex.

We have a test harness for directed tests that employs Verilator as the simulator for unit tests, that proves that the flow works already.
The direct test approach for Ibex is not scalable, the authors of Ibex themselves voted for UVM instead.
To flush out gross errors in the Synthesis tool, we need to run pseudo randomly generated stimulus through the test harness on every modules from Ibex independently. Then on subsystem bundles.

Since random-based simulation corners itself into not interesting state space after some sequential depth,
this approach will have its limitations.
Also, special care has to be taken for clocks/resets/sets. They have to behave not as random as the rest of the signals.
A clock should look like a clock, and resets/sets should be triggered only once in a while or only at the beginning of the simulation.

Verilator is a 2 states simulator so we have to make sure Xs are removed from the picture entirely.

Surelog/UHDM itself could be used to run an analysis of the DUT to extract clocks/sets/resets to help the random generation.

Add VHDL support

Reuse an existing Antlr VHDL grammar,
Reuse the Surelog AST Serialization mechanism,
Model VHDL in the UHDM Data Model (Using the standard VHDL datagrams)
Write the VHDL Compilation into UHDM
Mingle the VHDL elaboration into the SystemVerilog elaboration code

Speedup Antlr C++ Runtime library

Surelog already contains a modified Antlr runtime library that is about 2x faster than the official library, but much more can be done.