作者ric2k1 (Ric)
看板EE_DSnP
標題Re: [問題] 關於hw6編號
時間Mon Jun 2 22:41:57 2008
※ 引述《ckaha (★閃亮數學推理★)》之銘言：
: 請問一定要按照ref檔案的編號方式嗎？
: 可以直接用aig讀進來的編號嗎?
意義不一樣. 請見 AIGER format 的說明.
AIG file 裡面的 ID = 實際 gate(var) 的 ID * 2 + phase
For example,
AIG file 裏面 ID = 7 表示是 ID = 3 的 gate with inverted (negative) connection
AIG file 裏面 ID = 6 表示是 ID = 3 的 gate with non-inverted (postive)
connection.
存在 CirGate 裡的 ID 以及印出來的 ID 請用這個除過二的.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.132.98
1F：推 ck910679:那可以ID存沒有除過二的，但在output時做相關的處理嗎? 06/02 22:47
2F：推 ckaha:謝謝老師 06/02 22:54
3F：→ ric2k1:請問一樓那樣的目的是? 06/02 23:14
4F：→ ric2k1:意義上其實不一樣哦! "phase" 其實是存在自己跟 fanin 間 06/02 23:16
5F：→ ric2k1:的關係. 所以 gateID 存著 phase 會有點奇怪, 不知你的用意 06/02 23:16
6F：→ ric2k1:為何? 06/02 23:17
7F：推 ck910679:其實是一開始沒弄清楚，不過現在知道了，謝謝老師~~ 06/03 11:47