| 加速布尔匹配算法的研究 |
| |
| 引用本文： | 张镭,林争辉,吕宗伟.加速布尔匹配算法的研究[J].上海交通大学学报,2002,36(3):319-322. |
| |
| 作者姓名： | 张镭 林争辉 吕宗伟 |
| |
| 作者单位： | 上海交通大学,大规模集成电路研究所,上海,200030 |
| |
| 基金项目： | 美国国家科学基金资助项目 ( 5 978East Asia andPacific Program -96 0 2 485 ) |
| |
| 摘 要： | 逻辑验证和综合中，布尔匹配利用有序二叉判定图（Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等。直接枚举每个函数中输入变量的各种排列顺序，并根据这些顺序进行匹配，算法时间复杂度为O(n!2^n2),n为变量数。为了提高匹配算法的效率，文中用最小项数目作为标签标定变量（变量组）。对比两函数 中变量（变量组）的标签，可删除不可能的排序，加快匹配过程。在此基础之上，利用重构将待匹配变量压缩在OBDD图的底部。利用这部分结构可以进一步区分变量。实验结果表明，该算法不仅变量区分能力要好于其他算法，且执行速度快，更具实用价值。
|
| 关 键 词： | 布尔匹配算法 大规模集成电路 变量标签 最小项 有序二叉判定树 |
| 文章编号： | 1006-2467(2002)03-0319-04 |
| 修稿时间： | 2000年3月5日 |
Research Over Speeding up Boolean Matching |
| |
| Abstract: | |
| |
| Keywords: | ordered binary decision diagram (OBDD) Boolean matching minterm signature |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
