Yosys 0.32
Yosys 0.31 .. Yosys 0.32
-
Verific support
- Added sub option "-lib" to reading commands for VHDL and
SystemVerilog, that will later import all units/modules from
marked files as blackboxes.
- Added sub option "-lib" to reading commands for VHDL and
-
Various
- Added support for $lt, $le, $gt, $ge to the code generating AIGs.