基于SBDD图的布尔匹配

• 作者: 吕宗伟 张镭 林争辉
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: OBDD SBDD 布尔匹配 最小项 标签
• 年，卷（期）: 2001,（7）
• 所属期刊栏目: 电子设计自动化
• 页码范围: 582-585
• 页数: 4页
• 分类号: TN47
• 字数: 3891字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2001.07.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林争辉	上海交通大学大规模集成电路研究所	116	603	12.0	20.0
2	吕宗伟	上海交通大学大规模集成电路研究所	23	116	5.0	10.0
3	张镭	上海交通大学大规模集成电路研究所	17	57	3.0	7.0