bdd> cirr testcases/elevator.v
Module Name: "Elevator"
Pins: "clk" "reset" "in_1f" "in_2f" "in_3f" "in_1u" "in_2u" "in_3d" "in_2d"
"in_do" "in_dc" "out_floor" "out_dir" "out_d1" "out_d2" "out_d3"
bdd> cirsetv -f
bdd> Error: support size is smaller than the circuit input size!!
想说先试reference code建TR
但是决定variable order就挂了
我不太懂错误讯息的意思 ~"~
support size不就是PI+DFF数目?
这样的话support size不就一定会 >= circuit input size吗?
请问错误的原因是什么呢? 谢谢

support=PI+2*DFF,原始值好像是64?超过可能要breset?

懂了 原来support size是指BddMgr内部的大小 谢谢