ABC:顺序逻辑综合和形式验证系统 ABC一直在变化,但当前的快照被认为是稳定的。 编译: 要将ABC编译为二进制文件,请下载并解压缩代码,然后键入make 。 要将ABC编译为静态库,请输入make libabc.a 。 当ABC用作静态库时,提供了两个附加过程Abc_Start()和Abc_Stop() ,用于在调用应用程序中启动和退出ABC框架。 一个简单的演示程序(文件src / demo.c)显示了如何通过调用编译为静态库的ABC的API创建一个执行DAG感知AIG重写的独立程序。 制作演示程序 将demo.c和libabc.a复制到工作目录 运行gcc -Wall -g -c demo.c -o demo.o 运行g++ -g -o demo demo.o libabc.a -lm -ldl -lreadline -lpthread 要运行演示程序,请使用AIGER或