[src] Integrate DVPlan tool commands by martin-velay · Pull Request #142 · lowRISC/dvsim

martin-velay · 2026-04-02T13:14:10Z

Integrate DVPlan subcommands. These commands will be run only if:
- DVPlan tool is available
- Coverage is enabled
- A "".vplan" file is found in the cuurent sim_cfg.hjson file
When the condition are met, at the end the regression/simulation, the DVPlan tool will:
- Check the coverage of the specification
- Generate a derived vPlan in the simulation directory
- Perform back-annotation of the vPlan with the coverage data
- Compute the coverage of the vPlan
- Generate a report based on obtained annotated vPlan

machshev · 2026-04-06T14:47:20Z

Looks like there is a Ruff lint issue?

martin-velay · 2026-04-13T16:52:04Z

Hi, I have rebased on the master. Can you review my PR?

machshev

Thanks @martin-velay! Generally looks good, just a few things to tidy up ideally. It would really help to clean up the code if we can get these changes in.
The existing implementation of some of these parts of the code are already a bit of a mess, so this is a good opportunity to start putting in some better examples.

machshev

Thanks @martin-velay

- Integrate DVPlan subcommands. These commands will be run only if: - DVPlan tool is available - Coverage is enabled - A "".vplan" file is found in the cuurent sim_cfg.hjson file - When the condition are met, at the end the regression/simulation, the DVPlan tool will: - Check the coverage of the specification - Generate a derived vPlan in the simulation directory - Perform back-annotation of the vPlan with the coverage data - Compute the coverage of the vPlan - Generate a report based on obtained annotated vPlan Signed-off-by: martin-velay <mvelay@lowrisc.org>

Signed-off-by: martin-velay <mvelay@lowrisc.org>

martin-velay force-pushed the dvplan_integ branch 2 times, most recently from fd95bec to 570f42a Compare April 2, 2026 13:27

martin-velay requested review from AlexJones0 and machshev April 2, 2026 13:27

martin-velay force-pushed the dvplan_integ branch 3 times, most recently from bc457b5 to 3fbb934 Compare April 2, 2026 14:53

martin-velay force-pushed the dvplan_integ branch from 3fbb934 to 3fdee95 Compare April 7, 2026 07:00

martin-velay marked this pull request as ready for review April 9, 2026 09:46

martin-velay mentioned this pull request Apr 10, 2026

Regression dashboard - Integrate DVPlan into DVSim lowRISC/mocha#186

Open

martin-velay force-pushed the dvplan_integ branch 2 times, most recently from 9217e2b to 2f6d26f Compare April 13, 2026 16:49