YosysHQ / yosys

Yosys Open SYnthesis Suite
https://yosyshq.net/yosys/
ISC License
3.3k stars 860 forks source link

liberty: Support for IO liberty files for verification #4439

Closed gatecat closed 1 week ago

gatecat commented 2 weeks ago

This makes two changes to allow reading in IO liberty files, for e.g. verification or simulation purposes where the Verilog simulation models are too non-synthesisable for Yosys to be able to handle them: