aboutsummaryrefslogtreecommitdiffstats
path: root/CodingReadme
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2018-09-24 20:51:16 +0200
committerJim Lawson <ucbjrl@berkeley.edu>2018-10-08 11:38:10 -0700
commit89ef6600bcc0a52c3ce2f22805fd877b7528e8d6 (patch)
treeba05f2a1cc9f733be726ef65ccd639466ee297f0 /CodingReadme
parente8431d1508ff28bf8983d7f2f1859060c9d9fdcd (diff)
downloadyosys-89ef6600bcc0a52c3ce2f22805fd877b7528e8d6.tar.gz
yosys-89ef6600bcc0a52c3ce2f22805fd877b7528e8d6.tar.bz2
yosys-89ef6600bcc0a52c3ce2f22805fd877b7528e8d6.zip
Add "read_verilog -noassert -noassume -assert-assumes"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'CodingReadme')
0 files changed, 0 insertions, 0 deletions