文件名称：abc:美国广播公司
文件大小：6.77MB
文件格式：ZIP
更新时间：2024-03-31 11:38:21
系统开源
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或