南京邮电大学学报(自然科学版)
南京郵電大學學報(自然科學版)
남경유전대학학보(자연과학판)
JOURNAL OF NANJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS(NATURAL SCIENCE)
2006年
5期
65-70
,共6页
多输入多输出%单边逻辑函数%逻辑优化%算法%软件
多輸入多輸齣%單邊邏輯函數%邏輯優化%算法%軟件
다수입다수출%단변라집함수%라집우화%산법%연건
逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高.对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖.编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试.测试结果表明性能良好,有效的降低了系统的存储空间和时间开销.
邏輯綜閤的作用是在功能等價的條件下減少電路中的元件數目,使電路體積減少、能耗降低、故障率下降、穩定度提高.對于超大變量多輸入多輸齣邏輯函數優化,存儲開銷對輸入變量呈2冪次方增長.針對多輸入多輸齣單邊邏輯函數的特性,通過引入特徵矩陣和狀態矢量的描述,求解多輸入多輸齣單邊邏輯函數補集,以積項擴展為基礎,完成多輸入多輸齣單邊邏輯函數無冗餘覆蓋.編程實現瞭多輸入多輸齣單邊函數邏輯優化的算法,對影響單邊函數邏輯優化效率的因素(輸入變量數、輸齣變量數、積項數和無關因子)進行瞭分析,軟件繫統在奔騰1.8 MHz、512 M的計算機上通過瞭正確性驗證與測試.測試結果錶明性能良好,有效的降低瞭繫統的存儲空間和時間開銷.
라집종합적작용시재공능등개적조건하감소전로중적원건수목,사전로체적감소、능모강저、고장솔하강、은정도제고.대우초대변량다수입다수출라집함수우화,존저개소대수입변량정2멱차방증장.침대다수입다수출단변라집함수적특성,통과인입특정구진화상태시량적묘술,구해다수입다수출단변라집함수보집,이적항확전위기출,완성다수입다수출단변라집함수무용여복개.편정실현료다수입다수출단변함수라집우화적산법,대영향단변함수라집우화효솔적인소(수입변량수、수출변량수、적항수화무관인자)진행료분석,연건계통재분등1.8 MHz、512 M적계산궤상통과료정학성험증여측시.측시결과표명성능량호,유효적강저료계통적존저공간화시간개소.
