3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-26 15:39:35 +00:00
This commit is contained in:
Emil J 2025-11-21 16:03:12 +13:00 committed by GitHub
commit 07afb0660e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
22 changed files with 16 additions and 29 deletions

View file

@ -39,7 +39,7 @@ equiv_opt -assert -map +/xilinx/cells_sim.v synth_xilinx -family xc6s -noiopad
design -load postopt
cd cascade
select -assert-count 3 t:DSP48A1
select -assert-count 5 t:FDRE # No cascade for A input
select -assert-count 10 t:FDRE # No cascade for A input
select -assert-none t:DSP48A1 t:BUFG t:FDRE %% t:* %D
# Very crude method of checking that DSP48E1.PCOUT -> DSP48E1.PCIN
# (see above for explanation)