Skip to content

Yosys 0.16
Compare
Choose a tag to compare
@mmicko mmicko released this 05 Apr 09:53
yosys-0.16
b63e0a0

Yosys 0.15 .. Yosys 0.16

  • Various

    • Added BTOR2 witness file co-simulation.
    • Simulation calls external vcd2fst for VCD conversion.
    • Added fst2tb pass - generates testbench for the circuit using
      the given top-level module and simulus signal from FST file.
    • yosys-smtbmc: Option to keep going after failed assertions in BMC mode

  • Verific support

    • Import modules in alphabetic (reproducible) order.
Assets 2
Loading