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

Continuous integration on "official" ISCAS benchmarks #11

Closed Coloquinte closed 11 months ago

Coloquinte commented 11 months ago

It's difficult to obtain a good source for the ISCAS benchmarks. At the moment, the best one I have (with .bench files) is https://pld.ttu.ee/~maksim/benchmarks/

For publication, it would be nice to switch CI to those (using yosys-abc -c "read_bench ...; write_verilog ..." for conversion) , and automate everything from there.

Coloquinte commented 11 months ago

Now working, although it's a bit heavy to be run on github actions