github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-13 15:37:16 +00:00
Code Issues Releases Wiki Activity

Forgot to commit

Browse Source
This commit is contained in:
Eddie Hung 2019-07-16 12:44:26 -07:00
parent dd10d2b00d
commit 8a2a2cd035
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tests/lut/check_map_lut6.ys Normal file
View File

@ -0,0 +1,7 @@
chparam -set LUT_WIDTH 6 top
simplemap
equiv_opt -assert techmap -D LUT_WIDTH=6 -map +/cmp2lut.v
design -load postopt
equiv_opt -assert techmap -D LUT_WIDTH=6 -map +/gate2lut.v
design -load postopt
select -assert-count 0 t:* t:$lut %d