基于乘积项的双逻辑实现探测算法

叶锡恩; 毛科益; 夏银水

您当前的位置：

首页 >

文章列表页 >

基于乘积项的双逻辑实现探测算法

论文 | 更新时间：2025-07-16

- 基于乘积项的双逻辑实现探测算法
- Algorithms for Detecting Dual Logic Based on Product Term
- 电子学报 2009年37卷第5期页码：961-965
- 作者机构：
  
  宁波大学电路与系统研究所,浙江,宁波,315211
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60676017);浙江省自然科学基金 (No.Y106818);国家教育部留学回国基金;浙江省科技厅项目 (No.2007C24017);宁波市科技局项目 (No.2006A610091)
- DOI：
  中图分类号： TN432TP331
- 纸质出版：2009
- 稿件说明：
移动端阅览
叶锡恩, 毛科益, 夏银水. 基于乘积项的双逻辑实现探测算法[J]. 电子学报, 2009,37(5):961-965.

YE Xi-en, MAO Ke-yi, XIA Yin-shui. Algorithms for Detecting Dual Logic Based on Product Term[J]. Acta Electronica Sinica, 2009, 37(5): 961-965.
叶锡恩, 毛科益, 夏银水. 基于乘积项的双逻辑实现探测算法[J]. 电子学报, 2009,37(5):961-965. DOI：

YE Xi-en, MAO Ke-yi, XIA Yin-shui. Algorithms for Detecting Dual Logic Based on Product Term[J]. Acta Electronica Sinica, 2009, 37(5): 961-965. DOI：

摘要

在基于函数最小项的双逻辑探测算法中

由于函数最小项个数将随着变量数的增加而急剧增大

使得算法因时间或空间的占用过大而失效.为此

本文提出了基于函数最简项的快速探测算法

弥补了其缺陷.由于基于最小项和最简项的探测算法所适用的函数范围都有一定的局限性

因此进一步提出了将两种算法综合运用的策略

可有效改进探测效果.经MCNC Benchmark上电路的判定测试

验证了其有效性.

Abstract

In the dual logic detecting algorithm which based on miniterms

the exponential expansion of minterms makes the minterms based algorithm work slowly and exhausts the memory.To accelerate the detection speed for the large functions

we proposed a novel detecting algorithm which based on cubes.Furthermore a strategy of mixed using of cube based detection and minterm based detection is proposed to get a good result.The experimental results on NCMC benchmark prove our algorithm and strategy effectiveness.

关键词

Keywords

references

浏览量

986

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于不相交乘积项的逻辑探测和拆分算法

线性不等保护能力码的码长上界及应用