大家应该都已经收到助教寄给大家的 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等等。
总而言之，花一点时间探讨一下，真的建不起来也就算了。
这门课的作业的重点要大家对于上课内容有比较实际的体认，大家尽力就好。
题目出得不周到，敬请见谅，我们以后会改进!!
祝大家期中考准备顺利!