luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add -noinitstate

This commit is contained in:
Gus Smith 2025-12-02 13:08:53 -08:00
parent 3c1eaa3ec0
commit 99035360a4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/formal_witness_replay/stage_2_init.ys
View File

@ -1,4 +1,4 @@
read_rtlil stage_1_init.il
prep -top dut
sim -w -a -scope dut -r stage_1/engine_0/trace0.yw
sim -noinitstate -w -a -scope dut -r stage_1/engine_0/trace0.yw
write_rtlil stage_2_init.il