mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-01-17 01:46:29 +00:00
Code Activity

We still need to run the actual prep pass

Browse source
This commit is contained in:
Gus Smith 2025-12-29 09:07:24 -08:00
parent 889bfab8c9
commit 4a4d75df6a
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/staged_sim_and_verif/skip_staged_flow.sby
View file

@ -23,6 +23,7 @@ fv: smtbmc
stage_1_init:
verific -formal Req_Ack.sv
hierarchy -top DUT
prep
stage_1_fv:
read_rtlil design_prep.il