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內部的大小 謝謝