Skip to content

Yosys 0.32

Compare
Choose a tag to compare
@mmicko mmicko released this 07 Aug 06:27

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.
  • Various

    • Added support for $lt, $le, $gt, $ge to the code generating AIGs.