mirror of
https://github.com/YosysHQ/yosys
synced 2025-08-11 21:50:54 +00:00
Enable nanoxplore tests
This commit is contained in:
parent
645888cff5
commit
34f08bc639
5 changed files with 9 additions and 10 deletions
|
@ -30,8 +30,9 @@ equiv_opt -async2sync -assert -map +/nanoxplore/cells_sim.v synth_nanoxplore # e
|
|||
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
|
||||
cd dffs # Constrain all select calls below inside the top module
|
||||
select -assert-count 1 t:NX_DFF
|
||||
select -assert-count 1 t:NX_LUT
|
||||
|
||||
select -assert-none t:NX_DFF %% t:* %D
|
||||
select -assert-none t:NX_DFF t:NX_LUT %% t:* %D
|
||||
|
||||
|
||||
design -load read
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue