luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-22 06:07:26 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
mmicko/verific
yosys/tests/opt/opt_lut.ys
T
Eddie Hung 12c692f6ed Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder" 
This reverts commit c851dc1310, reversing
changes made to f54bf1631f.
2019-08-12 12:06:45 -07:00

3 lines
78 B
Plaintext
Raw Permalink Blame History

read_verilog opt_lut.v
equiv_opt -map +/ice40/cells_sim.v -assert synth_ice40
Reference in New Issue View Git Blame Copy Permalink