Update docs

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/docs/source/reference.rst b/docs/source/reference.rst
index 9ef84c1d9e0ba4c4c3f2b1ca09aab7e69da35927..9d2871cf36f0ae1929e3eef422b9069c52eba327 100644 (file)
--- a/docs/source/reference.rst
+++ b/docs/source/reference.rst
@@ -315,8 +315,14 @@ command, for example ``help prep``.
 Files section
 -------------
 
-The files section lists the source files for the proof. ``sby`` copies
-these files to ``<outdir>/src/`` before running the Yosys script.
+The files section lists the source files for the proof, meaning all the
+files Yosys will need to access when reading the design, including for
+example data files for ``$readmemh`` and ``$readmemb``.
+
+``sby`` copies these files to ``<outdir>/src/`` before running the Yosys
+script. When the Yosys script is executed, it will use the copies in
+``<outdir>/src/``. (Alternatively absolute filenames can be used in the
+Yosys script for files not listed in the files section.)
 
 For example:
 
@@ -339,7 +345,7 @@ the source file name. For example:
    [files]
    top.sv
    defines.vh ../common/defines_footest.vh
-   /data/prj42/modules/foobar.sv
+   foo/bar.sv /data/prj42/modules/foobar.sv
 
 File sections
 -------------