diff options
| -rw-r--r-- | doc/Simulation_and_runtime.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/Simulation_and_runtime.rst b/doc/Simulation_and_runtime.rst index 329dca8d8..9a925da4b 100644 --- a/doc/Simulation_and_runtime.rst +++ b/doc/Simulation_and_runtime.rst @@ -187,6 +187,13 @@ all options available, including the debugging one. Contrary to VCD files, any VHDL type can be dumped into a GHW file. +.. option:: --psl-report=<FILENAME> + + Write a report for PSL assertions and coverage at the end of + simulation. The file is written using the JSON format, but still + being human readable. + + .. option:: --sdf=<PATH>=<FILENAME> Do VITAL annotation on `PATH` with SDF file :file:`FILENAME`. |