计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2007年
z1期
173-177
,共5页
多输入多输出%单边逻辑函数%逻辑优化%算法%软件
多輸入多輸齣%單邊邏輯函數%邏輯優化%算法%軟件
다수입다수출%단변라집함수%라집우화%산법%연건
单边多值逻辑函数是逻辑函数的一种特例,对于超大变量的逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输出单边逻辑函数补集,以积项扩展为基础,完成多输出单边逻辑函数无冗余覆盖.通过编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素进行了分析,软件系统在奔腾1.8GHz,512MB RAM的计算机上通过了正确性验证与测试,测试结果表明性能良好,有效降低了系统的存储空间和时间开销.在相同输出变量数、积项数和无关项因子的情况下,随输入变量数的增长,优化效率随之下降;在相同输入变量数、输出变量数和积项数的情况下,随无关项因子值的增长,优化效率随之下降;在相同输入变量数、输出变量数、和无关项因子的情况下,随积项数的增长优化效率随之提高.
單邊多值邏輯函數是邏輯函數的一種特例,對于超大變量的邏輯函數優化,存儲開銷對輸入變量呈2冪次方增長.針對多輸入多輸齣單邊邏輯函數的特性,通過引入特徵矩陣和狀態矢量的描述,求解多輸齣單邊邏輯函數補集,以積項擴展為基礎,完成多輸齣單邊邏輯函數無冗餘覆蓋.通過編程實現瞭多輸入多輸齣單邊函數邏輯優化的算法,對影響單邊函數邏輯優化效率的因素進行瞭分析,軟件繫統在奔騰1.8GHz,512MB RAM的計算機上通過瞭正確性驗證與測試,測試結果錶明性能良好,有效降低瞭繫統的存儲空間和時間開銷.在相同輸齣變量數、積項數和無關項因子的情況下,隨輸入變量數的增長,優化效率隨之下降;在相同輸入變量數、輸齣變量數和積項數的情況下,隨無關項因子值的增長,優化效率隨之下降;在相同輸入變量數、輸齣變量數、和無關項因子的情況下,隨積項數的增長優化效率隨之提高.
단변다치라집함수시라집함수적일충특례,대우초대변량적라집함수우화,존저개소대수입변량정2멱차방증장.침대다수입다수출단변라집함수적특성,통과인입특정구진화상태시량적묘술,구해다수출단변라집함수보집,이적항확전위기출,완성다수출단변라집함수무용여복개.통과편정실현료다수입다수출단변함수라집우화적산법,대영향단변함수라집우화효솔적인소진행료분석,연건계통재분등1.8GHz,512MB RAM적계산궤상통과료정학성험증여측시,측시결과표명성능량호,유효강저료계통적존저공간화시간개소.재상동수출변량수、적항수화무관항인자적정황하,수수입변량수적증장,우화효솔수지하강;재상동수입변량수、수출변량수화적항수적정황하,수무관항인자치적증장,우화효솔수지하강;재상동수입변량수、수출변량수、화무관항인자적정황하,수적항수적증장우화효솔수지제고.
