推 timrau:對；cirMgr; spec裡有寫要從哪裡、如何拿資料 01/14 11:29
推 karate362:spec?抱歉 這是指哪裡... 01/14 11:55
推 karate362:找到了 thx 01/14 11:58
推 nagy:是在哪裡阿??><"" 01/14 13:04
推 timrau:4. (iv) (2) 01/14 17:52
推 karate362:總之就課程網頁的[PROJECT] 原來寫得比我想的詳細...囧 01/15 01:20
因為準備開始做這部份了 想要問清楚一點...
bsetv的指令 在做BDD calc的時候就很單純是拿來指定變數名稱對應的support
然後再用binv band...等等指令去一行一行把電路串起來
但是要用circuit來建BDD的時候
順序是 cread -> bsetv -PI -> bbuild 這樣嗎?
應該是cread這一行做完,就已經在程式中產生了一個circuit的資料結構
第一個問題是 這個circuit被放在程式的哪裡?
如果不知道的話 應該是沒辦法用bsetv指令去指定它的input和support的對應
然後是,執行cread指令之後,這個circuit的input應該都被存在它的_inputlist
裡面吧,如果是執行bsetv -PI -f 則應該是照_inputlist裡的順序來指定它
的support -rfile則是反過來 但我不懂-dfs要我們做的事情是什麼 也不清楚
_gateList裡面存的是什麼東西 可否說明一下呢?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.137.131.81