AIGER文件格式(翻譯)

目錄 AIGER 1. 介紹 2.設計選擇 3. ASCII格式 4. 符號表(Symbols table) 5. 注釋(com ...

BLIF(Berkeley Logic Interchange Format )

目錄 models 模型的聲明 邏輯門 logic gates 邏輯門的聲明 邏輯門的語義 External D ...