Improve documentation of scripts and Verific bindings
authorClifford Wolf <clifford@clifford.at>
Sat, 23 Jun 2018 16:25:52 +0000 (18:25 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 23 Jun 2018 16:25:52 +0000 (18:25 +0200)
commit93e7e1d1e2d44d5db81e5161692915ade7cfdc21
treeecb98c48e71f6a2bd9df66e04c9261a5d058dae6
parent983f0664453b61d3c2084c98788eea341a315bfc
Improve documentation of scripts and Verific bindings

Signed-off-by: Clifford Wolf <clifford@clifford.at>
docs/source/reference.rst
docs/source/verific.rst
docs/source/verilog.rst