※ 引述《hschiang (hschiang)》之铭言：
: 问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就足够了)
不知道这样回答有没有解决你的疑惑?