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