大家應該都已經收到助教寄給大家的 e-mail 了吧?
在此公告一下:
=============================================
許多人反應他們的 transition relationship (_tr, _tri) 建不起來，
我跟助教看了一下，的確是會因為 design 的 coding style or complexity
以及 BDD 本身的memory explosion problems 而造成BDD太大的現象。
所以關於作業四，大家可以採取以下其中一種方式來解決:
1. 簡化你的RTL設計，比方說將樓層降低，或是將控制的部份弄簡單一點。
當然，如果這個 effort 太大就算了。
2. 試試看improve 建立 TR 的演算法。比方說 early quantification，
conjunctive/disjunctive partitions, etc.
3. 以上兩種是比較有挑戰性的作法，但在有限的時間可能不一定做得出來。
所以第三個選擇是分析一下 bottleneck 在哪裡，也許統計一下 number of
BDD nodes/cubes 等等，或者是 abstract 一下你的 designs，
或是將一些信號設成constant等等。
總而言之，花一點時間探討一下，真的建不起來也就算了。
這門課的作業的重點要大家對於上課內容有比較實際的體認，大家盡力就好。
題目出得不周到，敬請見諒，我們以後會改進!!
祝大家期中考準備順利!