search

Coloquinte / moosic-yosys-plugin

Yosys plugin for logic locking and supply-chain security
GNU General Public License v2.0
20 stars 2 forks source link

Better error messages when logic locking is not applicable #2

Closed Coloquinte closed 6 months ago

Coloquinte commented 1 year ago

We should at least have a useful error when the design is hierarchical or not synthetized

Coloquinte commented 1 year ago

I solved it the hard way for hierarchical designs, which are now supported. There are still limitations to document when synthesis is not done

Coloquinte commented 1 year ago

We should report when an unknown evaluable cell is present: that would take care of cells present before synth or in FPGA designs ($lut, $alu, ...).