基于对称及特征的NPN布尔匹配算法

• 作者: 吴尽昭 张菊玲 杨国武 郭文强
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: NPN等价 香农分解 工艺映射 变量映射 变量对称
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 876-881
• 页数: 6页
• 分类号: TP302.2
• 字数: 6217字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2018.06.012

摘要

该文提出了一种基于对称及特征的成对比较的NPN布尔匹配算法,利用变量对称、1阶特征向量及香农分解设计完成了NPN布尔匹配.算法利用具有相同1阶特征向量是两个布尔函数NP等价的必要条件,和具有相同1阶特征是两个变量具有映射关系的必要条件搜索两个布尔函数之间的候选变换并进行验证.对称及特征的使用降低了候选变换搜索的空间,提高了NPN等价匹配的速度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭文强	新疆财经大学计算机科学与工程学院	56	144	5.0	9.0
2	张菊玲	电子科技大学计算机科学与工程学院大数据研究中心	16	17	2.0	3.0
4	吴尽昭	广西民族大学广西混杂计算与集成电路设计分析重点实验室	23	39	4.0	5.0
5	杨国武	电子科技大学计算机科学与工程学院大数据研究中心	22	84	4.0	8.0