Skip to content

Yosys 0.51

Latest
Latest
Compare
Choose a tag to compare
@mmicko mmicko released this 12 Mar 08:23
· 1 commit to main since this release
v0.51
c4b5190

Yosys 0.50 .. Yosys 0.51

  • New commands and options

    • Added "abstract" pass to allow reducing and never increasing
      the constraints on a circuit's behavior in a formal verification setting.

  • Various

    • "splitcells" pass now splits "aldff" cells.
    • FunctionalIR documentation

  • QuickLogic support

    • Added IOFF inference for qlf_k6n10f

  • Intel support

    • Fixed RAM and DSP support.
    • Overall performance improvement for "synth_intel".
Assets 3
Loading