|
|||||
|
|
| 一种新的布尔函数对称检测算法 | |
| 引用本文： | 陈国章,何丕廉.一种新的布尔函数对称检测算法[J].天津理工学院学报,1999,15(4):5-7. |
| 作者姓名： | 陈国章 何丕廉 |
| 作者单位： | [1]天津理工学院计算机科学与工程系 [2]天津大学电子信息计算机系 |
| 摘 要： | 对称是逻辑综合，逻辑优化以及映象技术领域中的一个十分重要的性质，对于对称函数，可以使用特殊的逻辑综合程序来改进设计结果，使用对称也可以提高映象技术和等价 有效性，本文提出一种用于ＯＢＤＤ布尔函数对称检测的高效算法。 |
| 关 键 词： | 算法 布尔函数 OBDD 数据结构 对称性 检测 |
| 本文献已被 维普 等数据库收录！ | |