From c2a524d80b71a6ff84ba8a01f79e2374b5fb28f5 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sun, 7 May 2023 08:36:03 -0400 Subject: [PATCH] Commentary (#4175) --- docs/guide/exe_verilator.rst | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst index 604db0702..5bc6c0474 100644 --- a/docs/guide/exe_verilator.rst +++ b/docs/guide/exe_verilator.rst @@ -1467,8 +1467,11 @@ Summary: them systematically. The generated file is in the Verilator Configuration format, see - :ref:`Configuration Files`, and can directly be consumed by - Verilator. The standard file extension is ".vlt". + :ref:`Configuration Files`. The standard file extension is ".vlt". + These files can directly be consumed by Verilator, typically by placing + the filename as part of the Verilator command line options. Waiver files + need to be listed on the command line before listing the files they are + waiving. .. option:: -Wall