AIGER ASCII Format

介紹 AIGER(Document)是一種簡單的電路圖格式,包括了AND閘、反閘和正反器。 格式 一個AIGER檔案包括 Header (必要) Inputs Latches Outputs ANDs Symbols Comments Variable/Literal 每個input, latch 和 AND gate 都會被指派一個 variable ID variable ID Between [1, M] ID 0 => constant false 可以跳號 literal ID 2v            <= variable v 的正常型態 2v + 1      <= variable v 的反轉型態 example: 3(literal ID)  Read more about AIGER ASCII Format[…]