计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2009年
7期
998-1004
,共7页
杨萌%周学功%唐璞山%童家榕%A.E.A.Almaini
楊萌%週學功%唐璞山%童傢榕%A.E.A.Almaini
양맹%주학공%당박산%동가용%A.E.A.Almaini
逻辑综合%或符合展开式%Reed-Muller展开式
邏輯綜閤%或符閤展開式%Reed-Muller展開式
라집종합%혹부합전개식%Reed-Muller전개식
logic synthesis%canonical or-coincidence expansion%Reed-Muller expansion
针对现有算法在处理多变量实际电路时间开销较大的问题,提出或符合全展开式的分解转换算法.cj最大项展开式和dj最大项展开式在相同极性下两者之间存在转换矩阵,而矩阵运算复杂度较高,把矩阵的运算简化成与和非的位运算,从而大量地节省了运算时间;在此基础上,将cj最大项展开式分解到不同的分组中,提出了分解算法,避免了矩阵的重复计算,再次缩短了计算时间.为了避免cj最大项展开式中过多最大项而造成转化时间开销增加,还提出了基于cj最小项的分解算法.实验结果表明,包含算法适用于处理小变量,但在处理多变量时时间开销增大,而采用了分解算法后,可极大减少转换时间开销.
針對現有算法在處理多變量實際電路時間開銷較大的問題,提齣或符閤全展開式的分解轉換算法.cj最大項展開式和dj最大項展開式在相同極性下兩者之間存在轉換矩陣,而矩陣運算複雜度較高,把矩陣的運算簡化成與和非的位運算,從而大量地節省瞭運算時間;在此基礎上,將cj最大項展開式分解到不同的分組中,提齣瞭分解算法,避免瞭矩陣的重複計算,再次縮短瞭計算時間.為瞭避免cj最大項展開式中過多最大項而造成轉化時間開銷增加,還提齣瞭基于cj最小項的分解算法.實驗結果錶明,包含算法適用于處理小變量,但在處理多變量時時間開銷增大,而採用瞭分解算法後,可極大減少轉換時間開銷.
침대현유산법재처리다변량실제전로시간개소교대적문제,제출혹부합전전개식적분해전환산법.cj최대항전개식화dj최대항전개식재상동겁성하량자지간존재전환구진,이구진운산복잡도교고,파구진적운산간화성여화비적위운산,종이대량지절성료운산시간;재차기출상,장cj최대항전개식분해도불동적분조중,제출료분해산법,피면료구진적중복계산,재차축단료계산시간.위료피면cj최대항전개식중과다최대항이조성전화시간개소증가,환제출료기우cj최소항적분해산법.실험결과표명,포함산법괄용우처리소변량,단재처리다변량시시간개소증대,이채용료분해산법후,가겁대감소전환시간개소.
Significant computation time is consumed to obtain a better solution for large functions. Decomposition conversion methods are proposed for canonical or-coincidence expansions. Transformation matrix is obtained between cj maxterm and dj maxterm expansions for canonical or-coincidence expansions. An efficient "inclusion" method is proposed using "AND" and "NOT" bitwise operations to simplify matrix operations. As a result, considerable reduction in time is achieved. Based on the "inclusion" methodology, on-set cj maxterms are decomposed into different groups to achieve further time reduction by reusing duplication calculation in matrix operation. cj maxterm expansion and corresponding minterm expansion are used as inputs respectively. Experimental results show that the proposed decomposition methods achieve good performance for not only small variables but large variables as well in terms of conversion time.