计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2012年
9期
1232-1240
,共9页
郝亚男%杨海钢%路宝珠%崔秀海%张茉莉
郝亞男%楊海鋼%路寶珠%崔秀海%張茉莉
학아남%양해강%로보주%최수해%장말리
时序优化%假设后验证%位并行随机模拟%寄存器共享%推测化简模型
時序優化%假設後驗證%位併行隨機模擬%寄存器共享%推測化簡模型
시서우화%가설후험증%위병행수궤모의%기존기공향%추측화간모형
为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法.在位并行随机模拟提取候选属性不变量之前,利用寄存器共享来降低初始候选不变量数目,以减少SAT程序的频繁调用；然后利用推测化简模型和改进的数学归纳法将基本条件和归纳步骤合并处理,有效地降低了电路规模和关键路径延迟,同时提高了算法运行速度.实验数据表明,文中算法使寄存器和节点规模平均下降41％和48％,关键路径延迟减小30％；与同类方法相比,该算法运行时间平均下降17％.
為瞭在時序邏輯綜閤中使電路麵積和關鍵路徑延遲同時得到快速優化,提齣一種改進的基于假設後驗證的時序優化算法.在位併行隨機模擬提取候選屬性不變量之前,利用寄存器共享來降低初始候選不變量數目,以減少SAT程序的頻繁調用；然後利用推測化簡模型和改進的數學歸納法將基本條件和歸納步驟閤併處理,有效地降低瞭電路規模和關鍵路徑延遲,同時提高瞭算法運行速度.實驗數據錶明,文中算法使寄存器和節點規模平均下降41％和48％,關鍵路徑延遲減小30％；與同類方法相比,該算法運行時間平均下降17％.
위료재시서라집종합중사전로면적화관건로경연지동시득도쾌속우화,제출일충개진적기우가설후험증적시서우화산법.재위병행수궤모의제취후선속성불변량지전,이용기존기공향래강저초시후선불변량수목,이감소SAT정서적빈번조용；연후이용추측화간모형화개진적수학귀납법장기본조건화귀납보취합병처리,유효지강저료전로규모화관건로경연지,동시제고료산법운행속도.실험수거표명,문중산법사기존기화절점규모평균하강41％화48％,관건로경연지감소30％；여동류방법상비,해산법운행시간평균하강17％.
