Tabby CAD Suite version 20220512 released!
Formal tristate support, x handling, optimising adders.
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