计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2008年
6期
76-77,80
,共3页
组合逻辑反馈%仿真%可综合设计%有向图%深度优先遍历
組閤邏輯反饋%倣真%可綜閤設計%有嚮圖%深度優先遍歷
조합라집반궤%방진%가종합설계%유향도%심도우선편력
分析了造成数字逻辑设计在仿真过程中出现死循环的一个原因,提出了一种在仿真前发现设计中可能造成仿真时死循环的方法.方法主要分为三个步骤:1)分析数字逻辑设计中形成组合逻辑关系可能的文法形式.2)利用Juliano[1]三元组范式化方法对过程赋值语句进行范式化,从而判别哪些过程赋值是会生成组合逻辑电路.3)用有向图深度优先遍历方法发现组合反馈回路,以检测数字逻辑设计中组合回路的陷阱.并分析了算法复杂性.
分析瞭造成數字邏輯設計在倣真過程中齣現死循環的一箇原因,提齣瞭一種在倣真前髮現設計中可能造成倣真時死循環的方法.方法主要分為三箇步驟:1)分析數字邏輯設計中形成組閤邏輯關繫可能的文法形式.2)利用Juliano[1]三元組範式化方法對過程賦值語句進行範式化,從而判彆哪些過程賦值是會生成組閤邏輯電路.3)用有嚮圖深度優先遍歷方法髮現組閤反饋迴路,以檢測數字邏輯設計中組閤迴路的陷阱.併分析瞭算法複雜性.
분석료조성수자라집설계재방진과정중출현사순배적일개원인,제출료일충재방진전발현설계중가능조성방진시사순배적방법.방법주요분위삼개보취:1)분석수자라집설계중형성조합라집관계가능적문법형식.2)이용Juliano[1]삼원조범식화방법대과정부치어구진행범식화,종이판별나사과정부치시회생성조합라집전로.3)용유향도심도우선편력방법발현조합반궤회로,이검측수자라집설계중조합회로적함정.병분석료산법복잡성.
