mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-02-27 02:25:41 +00:00
Code Activity

Merge pull request #5666 from YosysHQ/emil/equiv_induct-missing-model-errors

Browse source 
equiv_induct: error on missing model
This commit is contained in:
Emil J 2026-02-25 15:39:31 +01:00 • committed by GitHub
commit 5f8489d36d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
9 changed files with 165 additions and 136 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/arch/ice40/ice40_dsp_const.ys
View file

@ -74,6 +74,7 @@ EOT
techmap -wb -D EQUIV -autoproc -map +/ice40/cells_sim.v
async2sync
equiv_make top ref equiv
select -assert-any -module equiv t:$equiv
equiv_induct

2
tests/opt/opt_hier.tcl
View file

@ -27,7 +27,7 @@ foreach fn [glob opt_hier_*.v] {
design -copy-from gate -as gate A:top
yosys rename -hide
equiv_make gold gate equiv
equiv_induct equiv
equiv_induct -ignore-unknown-cells equiv
equiv_status -assert equiv
log -pop

4
tests/various/specify.ys
View file

@ -43,7 +43,7 @@ select n:C_* -assert-count 2
equiv_make gold gate equiv
hierarchy -top equiv
equiv_struct
equiv_induct -seq 5
equiv_induct -ignore-unknown-cells -seq 5
equiv_status -assert
design -reset
@ -57,7 +57,7 @@ select n:B_* -assert-count 2
equiv_make gold gate equiv
hierarchy -top equiv
equiv_struct
equiv_induct -seq 5
equiv_induct -ignore-unknown-cells -seq 5
equiv_status -assert
design -reset