Re: [問題] about PA#2

看板 Giee_Soc_V
時間
留言 則留言,2人參與討論
推噓 1推 0噓 3→
加入最愛文章備份
: 問2個很笨的問題 : 1. : PA2一開始應該是要從電路建BDD吧 : 那要怎麼得到電路呢 : buildBdd裡面好像是先對想要建的線做DFS : 之後就是TODO了 : 還是搞不太懂要怎麼樣把電路弄出來 再看一次好像知道你的問題了XD.先前的回答還是留著供其他人參考 關於你的問題.也許先看看V3Ntk有什麼member function? 或是看一下在v3其他地方.相關的function是怎麼被呼叫的 e.g. bddCmd.cpp_, alg/v3AlgSimulate.cpp(如果你想看得很詳細的話) 這部份應該很容易理解DFS後電路中每個net等於是照topological order排好接下來自然而然是依序建好每個net對應的BDD(當然這種做法不是唯一解)除非你不知道怎麼call BDD的function.不然問題應該不大(除了要注意在v3裡做BDD已假設是在aig上進行.先了解aig的特性?): 2. : 在使用ref的程式的時候 : 建BDD前一定要先壓成aig : 可是這樣brep怎麼知道要call哪個bddName : 有方法可以直接看output某個bit的Bdd嗎 這部份可能說明文件沒特別說清楚 用print ntk -p可以看到電路的port及其對應的net id 而在ref裡.電路中的net對應的bdd name就是其net id 所以可以用brep <net id>來看想要看的net 延伸: 另外ref應該有提供net -n <net id> <level>這個指令來簡單查看電路的fanin結構 可以用這個指令來找某些net fanin的net id 再持續report其fanin的相關資訊 如果有需要可以試試 (雖然大多應該能看到output就足夠了) 不知道這樣回答有沒有解決你的疑惑? --
1Fkeyboardle:BTW,如果現在問題才出現.應該很多人也還沒開始吧XD 04/15 13:54
2Fkeyboardle:只給一點意見.ref跑不出來的design就別勉強ref了 04/15 13:56
3Fkeyboardle:畢竟目前的ref沒做什麼特別的技巧來加速 04/15 13:57
4Fhschiang:學長謝拉,雖然已經問完才看到這篇orz 04/15 20:51
看更多 keyboardle 的文章,或回到 giee_soc_v 看板

Re: [問題] about PA#2  ⋅  有 0 則留言。

最新留言

成舍設計、室內設計推薦~ 已哭(匿名) : 還是別找成舍,幾乎不來監工,丟給包商直接對屋主,討論的設計改了不跟屋主知會或未能找屋主當初討論的想法去執行,還好我自己不
[個人] 徵代為縫製圍兜 可在家工作 阿芬(匿名) : 請問,還有缺嗎?
[拾獲] 台南東區 撿到黃金獵犬 凱呈(匿名) : 您好,目前狗狗還在嗎?
[售票] 寒單 首輪電影交換券 兩張250 nej630817 : 有興趣Line7750yl
Re: [問題] 請問輔導長的英文怎麼寫阿? moses(匿名) : 有幸進場 楊樂安
[新聞] 哭哭!媒體試駕千萬賓士超跑 倒栽蔥撞進山溝 再飆啊(匿名) : 美其名是試駕,根本就是飆車,正常道路不是用來試駕操控性的
[正妹] 大業國中 國一生 Jr.6699 : 求大大們搜Fb???感恩
[交易] 美利達自行車Big.Seven 3000 C(匿名) : 什麼時候可以看車?
[交易] 美利達自行車Big.Seven 3000 坦克玖么么(匿名) : 嗯嗯 尺吋是? 要剛好能用的才有用!!
[新聞] 知名作家林清玄過世 享壽65歲 小璜(匿名) : 文筆好最容易誆到人
[交易] 美利達自行車Big.Seven 3000 Chris(匿名) : 什麼尺寸的呢?顏色