Sign in
foss-fpga-tools
/
third_party
/
yosys
/
f6fabc8fda1eb00b0227f1a91d85b837a0609728
/
.
/
backends
/
smt2
/
example.ys
blob: 6fccb344f38c49400a2b281e5350966a784abdd7 [
file
] [
log
] [
blame
]
read_verilog
-
formal example
.
v
hierarchy
;
proc
;
opt
;
memory
-
nordff
-
nomap
;
opt
-
fast
write_smt2
-
bv
-
mem
-
wires example
.
smt2
