使用边缘值二元决策图Edge-valued BDD(EVBDD)简化查找表,以二位全加器为例
学习笔记:使用边缘值二元决策图Edge-valued BDD(EVBDD)简化查找表,以二位全加器为例以二位全加器为例:查找表可以用二元决策图(二叉决策图/BDD)表示。通过合并相同节点和去除冗余节点可以简化查找表。BDD简化方法:1.合并任何同构子图。2.消除其两个子节点是同构的任何节点。BDD到EVBDD的转换方法:规则1.对终节点的转化规则2.对普通节点的转化以二位全加器为例:二位全加器的真值表:2bit输入,2bit输出,输出进位Cout和S1,S0组成的二进制数转换为
原创
2021-07-25 20:09:16 ·
469 阅读 ·
0 评论