→ ric2k1:cirp -n 就把 dfsList 裡面的所有 gates 照順序印一次 01/05 09:50
推 hunallen:謝謝老師 01/05 10:30
※ 引述《hunallen (一路上有你)》之銘言：
: 想請問一下
: -netlist 走dfs
: output的結果是不是不一定會跟ref一樣呢
: 如果走分支的順序不同的話
: 另外是從po開始走
: 對吧
Spec 上有規定，所以大家的結果應該會一樣。
基本上是從 PO 開始的 post-order DFS traversal:
for_each(po, poList) // POs should be in the order as defined in AIGER file
po->dfsTraversal();
gate::dfsTraversal()
for_each_fanin(fanin, faninList) // fanins should be in the order
fanin->dfsTraversal(); // as defined
dfsTraversal.add(this);
當然，以上的 code 省略了一些細節，請大家自行參考講義。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.36.54.155