Yosys 0.55

Yosys 0.54 .. Yosys 0.55

• Various
  • read_verilog: Implemented SystemVerilog unique/priority if.
  • "attrmap" pass is able to alter memory attributes.
  • verific: Support SVA followed-by operator in cover mode.