摘要：
AIGER 1.9 1. 简介 为了方便迁移，1.9版本的AIGER格式在句法上和之前的版本是向下兼容的，同时包括了随后的2.0版本AIGER格式的一些新特性。由于使用了新的二进制编码，2.0版本的AIGER格式将不会向下兼容。 1.9版本AIGER格式大体上有如下5个新的语义特性： 复位逻辑 re 阅读全文
摘要：
参考：http://fmv.jku.at/papers/Biere-FMV-TR-07-1.pdf #AIGER 1. 介绍 AIGER是AIG(And-Inverter Graphs)的文件格式的代称，也是瑞士境内阿尔卑斯山的一座山峰。AIGER格式CAV2007模型检测竞赛提供了一种简洁明了的文 阅读全文