ABC:顺序逻辑合成和形式验证系统
在 Linux 和 macOS 上,独立的 ABC 会话可以同时在不同的线程中运行。使用 Abc_Start() 和 Abc_Stop() 的现有单线程应用程序将继续正常运行。并发应用程序应使用 Abc_FrameCreate() 为每个会话创建一个 Abc_Frame_t，使用该帧执行命令，然后使用 Abc_FrameDestroy() 释放它；同一个帧不应同时由多个线程使用。对 Abc_FrameEnter()/Abc_FrameLeave() 的作用域调用在调用依赖于它的 API 之外的命令时，会建立当前帧。请参阅 src/runabc.c 中的单线程和并发嵌入示例。一些过时的命令仍然使用共享进程状态，在并发会话中运行时不安全。
从仓库根目录构建并运行单线程示例,使用:
暂无开放 Issues，或尚未同步最近议题。