Artur Bieniek 3dbfa7708f Add NEVERMATCH warning when an SVA sequence can never match (#8176) (#8183) ...

Signed-off-by: Artur Bieniek <[email protected]>

2026-08-22 08:31:23 +02:00

..

figures

Verilator_gantt now shows the predicted mtask times, eval times, and additional statistics.

2021-09-23 22:59:36 -04:00

changes.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

conf.py

Commentary: Changes update

2026-04-23 00:44:50 -04:00

connecting.rst

Commentary (#7916)

2026-07-10 08:38:01 -04:00

contributing.rst

Commentary: Make RST documents round-trip clean. No output change intended.

2026-06-21 10:15:47 -04:00

contributors.rst

Commentary: Make RST documents round-trip clean. No output change intended.

2026-06-21 10:15:47 -04:00

control.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

copyright.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

deprecations.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

environment.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

example_binary.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

example_cc.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

example_common_install.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

example_dist.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

example_sc.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

examples.rst

Commentary: Make RST documents round-trip clean. No output change intended.

2026-06-21 10:15:47 -04:00

exe_sim.rst

Add +verilator+assert+lock to ignore RTL assert control statements (#8086)

2026-08-12 19:13:02 -04:00

exe_verilator_coverage.rst

Commentary: Fix the verilator_coverage -filter-type documentation (#7949)

2026-07-17 08:18:43 -04:00

exe_verilator_gantt.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

exe_verilator_profcfunc.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

exe_verilator.rst

Optimize circular logic in Dfg (#7902)

2026-08-18 14:54:12 +02:00

executables.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

extensions.rst

Support user-provided DPI-C function declarations (#7626) (#7893)

2026-07-08 05:22:24 -07:00

faq.rst

Commentary: Make RST documents round-trip clean. No output change intended.

2026-06-21 10:15:47 -04:00

files.rst

Commentary: Make RST documents round-trip clean. No output change intended.

2026-06-21 10:15:47 -04:00

index.rst

Commentary: Use standard multiline rst comments, other cleanups

2026-06-18 21:58:01 -04:00

install-cmake.rst

Commentary: Make RST documents round-trip clean. No output change intended.

2026-06-21 10:15:47 -04:00

install.rst

Commentary: Make RST documents round-trip clean. No output change intended.

2026-06-21 10:15:47 -04:00

languages.rst

Commentary: Make RST documents round-trip clean. No output change intended.

2026-06-21 10:15:47 -04:00

overview.rst

Commentary: Make RST documents round-trip clean. No output change intended.

2026-06-21 10:15:47 -04:00

simulating.rst

Fix Linux peak memory stat to use VmHWM (#8022) (#8070)

2026-08-09 15:37:57 -04:00

verilating.rst

Fix Linux peak memory stat to use VmHWM (#8022) (#8070)

2026-08-09 15:37:57 -04:00

warnings.rst

Add NEVERMATCH warning when an SVA sequence can never match (#8176) (#8183)

2026-08-22 08:31:23 +02:00