计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2012年
7期
961-967
,共7页
Reed-Muller逻辑%双逻辑%逻辑综合%逻辑优化
Reed-Muller邏輯%雙邏輯%邏輯綜閤%邏輯優化
Reed-Muller라집%쌍라집%라집종합%라집우화
针对传统布尔逻辑在电路面积优化中存在的不足,提出了一种用传统布尔逻辑和Reed-Muller(RM)逻辑相结合的双逻辑优化算法.通过将原逻辑函数的乘积项转化为不相交乘积项,并利用不相交乘积项的位操作,将逻辑函数的覆盖分成2个部分,使之分别适合布尔逻辑综合和RM逻辑综合；同时提出了适合双逻辑函数的逻辑功能验证方法.双逻辑优化算法用C语言编程实现并用MCNC标准电路进行测试.实验结果表明,与单一的布尔逻辑综合结果相比,在绝大多数情况下文中算法可使电路面积获得进一步优化.
針對傳統佈爾邏輯在電路麵積優化中存在的不足,提齣瞭一種用傳統佈爾邏輯和Reed-Muller(RM)邏輯相結閤的雙邏輯優化算法.通過將原邏輯函數的乘積項轉化為不相交乘積項,併利用不相交乘積項的位操作,將邏輯函數的覆蓋分成2箇部分,使之分彆適閤佈爾邏輯綜閤和RM邏輯綜閤；同時提齣瞭適閤雙邏輯函數的邏輯功能驗證方法.雙邏輯優化算法用C語言編程實現併用MCNC標準電路進行測試.實驗結果錶明,與單一的佈爾邏輯綜閤結果相比,在絕大多數情況下文中算法可使電路麵積穫得進一步優化.
침대전통포이라집재전로면적우화중존재적불족,제출료일충용전통포이라집화Reed-Muller(RM)라집상결합적쌍라집우화산법.통과장원라집함수적승적항전화위불상교승적항,병이용불상교승적항적위조작,장라집함수적복개분성2개부분,사지분별괄합포이라집종합화RM라집종합；동시제출료괄합쌍라집함수적라집공능험증방법.쌍라집우화산법용C어언편정실현병용MCNC표준전로진행측시.실험결과표명,여단일적포이라집종합결과상비,재절대다수정황하문중산법가사전로면적획득진일보우화.
