作者karate362 (最近腰不痛的卡拉特)
看板EE_DSnP
标题[问题] 关於bsetv和bbuild这些指令功能的问题
时间Sun Jan 14 11:26:38 2007
因为准备开始做这部份了 想要问清楚一点...
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
1F：推 timrau:对；cirMgr; spec里有写要从哪里、如何拿资料 01/14 11:29
2F：推 karate362:spec?抱歉 这是指哪里... 01/14 11:55
3F：推 karate362:找到了 thx 01/14 11:58
4F：推 nagy:是在哪里阿??><"" 01/14 13:04
5F：推 timrau:4. (iv) (2) 01/14 17:52
6F：推 karate362:总之就课程网页的[PROJECT] 原来写得比我想的详细...囧 01/15 01:20