diff options
Diffstat (limited to 'src/VeriFuzz/Sim/Yosys.hs')
-rw-r--r-- | src/VeriFuzz/Sim/Yosys.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Sim/Yosys.hs b/src/VeriFuzz/Sim/Yosys.hs index d69bc69..8c73b86 100644 --- a/src/VeriFuzz/Sim/Yosys.hs +++ b/src/VeriFuzz/Sim/Yosys.hs @@ -73,7 +73,7 @@ runSynthYosys sim (SourceInfo _ src) = do "yosys" (yosysPath sim) [ "-p" - , "read -formal " <> inp <> "; synth; write_verilog -noattr " <> out + , "read_verilog " <> inp <> "; synth; write_verilog -noattr " <> out ] where inpf = "rtl.v" |