Formal Tristate Support
Sby now supports trisates in formal proofs
Teodor-Dumitru and the Complexity of Adder Implementations in Hardware
Teodor-Dumitru Ene presents his work on adder optimisations for the open source FPGA and ASIC tools
Open Source Silicon with Yosys
Yosys is the defacto synthesis tool for all the open source ASIC flows
