计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
17期
57-59,62
,共4页
多输入多输出%逻辑函数%算法%全域识别%实质本源项
多輸入多輸齣%邏輯函數%算法%全域識彆%實質本源項
다수입다수출%라집함수%산법%전역식별%실질본원항
在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项,从而构成实质本源项集合、完全冗余项集合和相对冗余项集合.对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000.软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试.
在對Espresso算法進行分析改進的基礎上,提齣瞭一種基于全域識彆的多輸入多輸齣邏輯函數實質本源項、完全冗餘項和相對冗餘項生成算法,該算法通過對基于積項錶示的多輸入多輸齣邏輯函數的餘因子計算來進行全域判斷,根據全域判斷結果來識彆實質本源項、完全冗餘項和相對冗餘項,從而構成實質本源項集閤、完全冗餘項集閤和相對冗餘項集閤.對基于二級SOP型的多輸入多輸齣邏輯函數設計瞭多輸入多輸齣邏輯函數優化識彆軟件繫統,允許的最大輸入變量數為128、最大輸齣變量數為256、最大輸入輸齣變量總和為300、最大輸入積項數為20 000.軟件繫統在Pentium 1.8GHz、512MB內存的計算機上通過瞭Benchmark例題的測試.
재대Espresso산법진행분석개진적기출상,제출료일충기우전역식별적다수입다수출라집함수실질본원항、완전용여항화상대용여항생성산법,해산법통과대기우적항표시적다수입다수출라집함수적여인자계산래진행전역판단,근거전역판단결과래식별실질본원항、완전용여항화상대용여항,종이구성실질본원항집합、완전용여항집합화상대용여항집합.대기우이급SOP형적다수입다수출라집함수설계료다수입다수출라집함수우화식별연건계통,윤허적최대수입변량수위128、최대수출변량수위256、최대수입수출변량총화위300、최대수입적항수위20 000.연건계통재Pentium 1.8GHz、512MB내존적계산궤상통과료Benchmark례제적측시.
