AIGER文件格式(翻译)

目录 AIGER 1. 介绍 2.设计选择 3. ASCII格式 4. 符号表(Symbols table) 5. 注释(com ...