- 博客(1)
- 收藏
- 关注
RSS订阅转载 BDD（二元决策图）
转载自：二元决策图(Binary Decision Diagrams - BDD) （一） 在形式化验证、数字系统的设计和验证中，许多任务都涉及大型命题逻辑公式的运算。二元决策图（BDD）已经成为许多应用的首选表示方法。1986年，Bryant发表论文指出归约有序的二元决策图是布尔函数的规范表示。 几个基本概念： 布尔函数（Boolean function）描述如何基于对布尔输入的某种逻辑计算确定布尔值输出，它
2021-11-06 16:32:14
5466
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人