Algorithms for Detecting Dual Logic Based on Product Term

YE Xi-en; MAO Ke-yi; XIA Yin-shui

您当前的位置：

首页 >

文章列表页 >

Algorithms for Detecting Dual Logic Based on Product Term

更新时间：2025-07-16

- Algorithms for Detecting Dual Logic Based on Product Term
- Acta Electronica Sinica Vol. 37, Issue 5, Pages: 961-965(2009)
- 作者机构：
  
  宁波大学电路与系统研究所,浙江,宁波,315211
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN432TP331
- Published：2009
- 稿件说明：
移动端阅览
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：

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

Views

986

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Logic Detection and Decomposition Algorithm Based on Disjointed Cubes

Upper Bounds on the Length of Linear Unequal Error Protection Codes and Its Application

Related Author

WANG Lun-yao

XIA Yin-shui

CHEN Xie-xiong

YE Xi-en

Yang Jingsong

Zhang Shujing

Related Institution

School of Information Science and Engineering, Ningbo University

Department of Information Science & Electronic Engineering, Zhejiang University

School of Information Science and Engineering Ningbo University Ningbo Zhejiang China

Department of Information Science & Electronic Engineering Zhejiang University Hangzhou Zhejiang China

Research Institute of Information Science, Northern Jiaotong University

⁰