- Added "gate2lut.v" techmap rule
- Added "rename -src"
- Added "equiv_opt" pass
+ - Added "read_aiger" frontend
+ - Added "muxpack" pass
+ - "synth_xilinx" to now infer hard shift registers, using new "shregmap -tech xilinx"
+ - "synth_xilinx" to now infer wide multiplexers
Yosys 0.7 .. Yosys 0.8