2021年ABC对输入MV文件的解决方案(3)

ABC对输入MV文件的解决方案(3) ABC对输入MV文件的解决方案 SHAPE \* MERGEFORMAT ABC中读入mv文件后形成AIG网络，要想输出blif文件，可进行如下操作： SHAPE