如果你在傷腦經要如何測試你的 circuit built BDDs. Maybe you can try these
circuits ---
Under:
http://cc.ee.ntu.edu.tw/~ric/teaching/DataStructureProgramming/latest/Project/
You will find C17_r.cir, C432_r.cir, C499_r.cir
顧名思義, they are "revised" versions of C17.cir, C432.cir and C499.cir,
respectively.
Therefore, they are functionally equivalent to the original circuits.
You can bulid the BDDs with the same variable order, and you should see the
same BDDs...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.130.124