学习笔记:使用边缘值二元决策图Edge-valued BDD(EVBDD)简化查找表,以二位全加器为例
查找表可以用二元决策图(二叉决策图/BDD)表示。通过合并相同节点和去除冗余节点可以简化查找表。
BDD简化方法:
1.合并任何同构子图。
2.消除其两个子节点是同构的任何节点。
BDD到EVBDD的转换方法:
规则1.对终节点的转化
规则2.对普通节点的转化
以二位全加器为例:
二位全加器的真值表:
2bit输入,2bit输出,输出进位Cout和S1,S0组成的二进制数转换为10进制值。
以A1,A0,B1,B0,Cin的顺序构建二元决策图,每个节点往左为0,往右为1:
应用规则1:
应用规则2:
最后合并相同节点:
原本很大的查找表就被简化为了几个小查找表:
相关书籍: