mirror of
https://github.com/YosysHQ/yosys
synced 2026-02-14 12:51:48 +00:00
ice40: fix dsp_const test
This commit is contained in:
parent
2efd0247a1
commit
c768e55983
1 changed files with 1 additions and 0 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue