西安电子科技大学学报（自然科学版）
西安電子科技大學學報（自然科學版）
서안전자과기대학학보（자연과학판）
JOURNAL OF XIDIAN UNIVERSITY(NATURAL SCIENCE)
2014年
1期
75-80
,共6页
邸志雄%史江义%马佩军%张译%袁莉%郝跃%许钊
邸誌雄%史江義%馬珮軍%張譯%袁莉%郝躍%許釗
저지웅%사강의%마패군%장역%원리%학약%허쇠
组合逻辑环%逻辑综合%SAT引擎%静态逻辑蕴涵
組閤邏輯環%邏輯綜閤%SAT引擎%靜態邏輯蘊涵
조합라집배%라집종합%SAT인경%정태라집온함
cyclic circuit%synthesis%Boolean Satisfiability(SAT)%static logic implication
组合逻辑环能够减少电路逻辑资源,降低电路功耗,但是其难以被静态时序分析工具分析和计算,且难以生成功能验证向量和自动测试图形向量.针对此问题,提出一种组合逻辑环转化方法,以解决硬件描述语言以及高级语言逻辑综合阶段所面临的组合逻辑环拆分问题.不同于采用三值仿真策略的现有文献,引入了布尔可满足引擎对组合逻辑环电路进行了表征,使用静态逻辑蕴涵完成了环形电路的拆分.同时,根据环形电路的形成机理,提出了拆分组合逻辑环结构的规则,用于冗余向量优化以及非环电路的逻辑推理.实验结果表明,这种算法能够正确地拆分组合逻辑环结构,且转化时间短,转化后的电路规模小.
組閤邏輯環能夠減少電路邏輯資源,降低電路功耗,但是其難以被靜態時序分析工具分析和計算,且難以生成功能驗證嚮量和自動測試圖形嚮量.針對此問題,提齣一種組閤邏輯環轉化方法,以解決硬件描述語言以及高級語言邏輯綜閤階段所麵臨的組閤邏輯環拆分問題.不同于採用三值倣真策略的現有文獻,引入瞭佈爾可滿足引擎對組閤邏輯環電路進行瞭錶徵,使用靜態邏輯蘊涵完成瞭環形電路的拆分.同時,根據環形電路的形成機理,提齣瞭拆分組閤邏輯環結構的規則,用于冗餘嚮量優化以及非環電路的邏輯推理.實驗結果錶明,這種算法能夠正確地拆分組閤邏輯環結構,且轉化時間短,轉化後的電路規模小.
조합라집배능구감소전로라집자원,강저전로공모,단시기난이피정태시서분석공구분석화계산,차난이생성공능험증향량화자동측시도형향량.침대차문제,제출일충조합라집배전화방법,이해결경건묘술어언이급고급어언라집종합계단소면림적조합라집배탁분문제.불동우채용삼치방진책략적현유문헌,인입료포이가만족인경대조합라집배전로진행료표정,사용정태라집온함완성료배형전로적탁분.동시,근거배형전로적형성궤리,제출료탁분조합라집배결구적규칙,용우용여향량우화이급비배전로적라집추리.실험결과표명,저충산법능구정학지탁분조합라집배결구,차전화시간단,전화후적전로규모소.
