Yosys 0.43

Yosys 0.42 .. Yosys 0.43

• Various

  • C++ compiler with C++17 support is required.
  • Support for IO liberty files for verification.
  • Limit padding from shiftadd for "peepopt" pass.

• Verific support

  • Support building Yosys with various Verific library
    configurations. Can be built now without YosysHQ
    specific patch and extension library.