作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] -netlist
时间Wed Jan 5 09:49:45 2011
※ 引述《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
1F：→ ric2k1:cirp -n 就把 dfsList 里面的所有 gates 照顺序印一次 01/05 09:50
2F：推 hunallen:谢谢老师 01/05 10:30