Yosys passes to syntheize to NaN gates (à la http://tom7.org/nand/)
No README available, please check again later.