| 对称检测算法的研究 |
| |
| 引用本文： | 陈国章,陈昊,等.对称检测算法的研究[J].天津大学学报(自然科学与工程技术版),2001,34(5):611-614. |
| |
| 作者姓名： | 陈国章 陈昊 |
| |
| 作者单位： | [1]天津理工学院计算机科学与工程系，天津300191 [2]天津理工学院光电信息与电子科学系，天津300191 |
| |
| 基金项目： | 国家自然科学基金资助项目(69783004). |
| |
| 摘 要： | 对称是逻辑综合，逻辑优化以及映像技术领域中一个非常重要的性质，对于对称函数，可以使用特殊的逻辑综合程序来改进设计结果，使用对称也可以提高映像技术和等价检测的有效性，提出一种用于OBDD布尔函数对称性检测的精确有效的算法。
|
| 关 键 词： | 布尔函数 有序双元判定图 OBDD 对称检测 逻辑综合程序 逻辑优化 映像技术 |
| 文章编号： | 0493-2137(2001)05-0611-04 |
| 修稿时间： | 2000年11月6日 |
STUDY ABOUT ALGORITHM OF DETECTION |
| |
| CHEN Guo zhang ,CHEN Hao ,HE Pi lian.STUDY ABOUT ALGORITHM OF DETECTION[J].Journal of Tianjin University(Science and Technology),2001,34(5):611-614. |
| |
| Authors: | CHEN Guo zhang CHEN Hao HE Pi lian |
| |
| Institution: | CHEN Guo zhang 1,CHEN Hao 2,HE Pi lian 3 |
| |
| Abstract: | Symmetry is a useful property in logic synthesis,logic optimization and technology of mapping.For the symmetric function there are special logic synthesis procedures that can be used to improve the results of the design.Symmetry can also improve the efficiency of technology of mapping and equivalence testing.This paper presents an efficient algorithm for the detection of symmetry in Boolean functions represented by OBDDs. |
| |
| Keywords: | symmetry algorithms Boolean function OBDD |
| 本文献已被 CNKI 维普 等数据库收录！ |
