基于SBDD图的布尔匹配

摘要：

在逻辑验证和综合中，布尔匹配利用有序二叉判定图OBDD来检验两个给定的逻辑函数是否相等.为了提高匹配算法的效率，文中用最小项数作为标签标定变量（变量组）.对比两函数中变量（变量组）的“标签”，可以删除不可能的排序，从而加快匹配过程.在提取变量标签时，提出简约二分决策图——SBDD，并利用其节点少的特性进一步提高“标签”提取算法的效率.实验结果表明本算法执行速度快，变量区分能力强.

关键词：OBDD、SBDD、布尔匹配、最小项、标签

所属期刊栏目：13

分类号：TN47(微电子学、集成电路（IC）)

资助基金：美国国家科学基金5978 EastAsia and Pacific Program-9602485

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：582-585