abc 命令介绍

快速查询abc某个命令所对应code

src→base→abci→abc.c文件

src→base→io→io.c文件——主要是与write file等相关命令

命令行中command -h 后；复制相关信息到上述文件中ctrl+F进行查找

 

 abc原来的网络是aig，最新的网络是gia; 新命令相比于旧命令是带"9"的命令

 旧命令：

 新命令：

aig网络重构重写命令

rewrite

rewrite -z

refactor

refactor -z

resub

resub -z

balance

balance

extract

读入bench文件生成aig文件

修改打印时间：sec为ms

CLOCKS_PER_SEC表示时间s；

 修改打印显示：

abc将bench文件转化为cnf文件

./abc             //运行abc
read_bench  benchname(路径)     
strash           //将任意形式布尔网络转换为AIG形式
write_cnf CNFname(路径）      //为新生成 cnf文件命名，并指定路径