快速查询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文件命名,并指定路径