AIGER文件格式(翻译)
目录 AIGER 1. 介绍 2.设计选择 3. ASCII格式 4. 符号表(Symbols table) 5. 注释(com ...
花费 6 ms
BLIF(Berkeley Logic Interchange Format )
目录 models 模型的声明 逻辑门 logic gates 逻辑门的声明 逻辑门的语义 External D ...