Yosys passes to syntheize to NaN gates (à la http://tom7.org/nand/)
Statistics for this project are still being loaded, please check back later.