我必须从ISCAS85中读取.bench格式电路，例如c432.bench。由于c432电路具有多个9输入门，因此我想对其进行重新合成，使其仅包含最多具有4输入（fanin = 4）标准门的门。
我通过以下命令使用ABC：
abc 01> read c432.bench
abc 02> strash
abc 03> write c432new.bench
但是输出文件仅由（2-输入）AND和NOT门组成！
是否有任何特定的库或代码包含或更改为具有任意扇形的不同类型的门（XOR，NAND，OR，...）？
我只想要.bench格式电路，其门最多具有4个输入。
请您分享您的经验？任何帮助将不胜感激。
致谢。