基于有向图深度优先遍历的组合反馈环路检测算法

• 作者: 倪韬雍 金乃咏
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 组合逻辑反馈 仿真 可综合设计 有向图 深度优先遍历
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 基金项目论文
• 页码范围: 76-77,80
• 页数: 3页
• 分类号: TP3
• 字数: 2514字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2008.06.031

摘要

分析了造成数字逻辑设计在仿真过程中出现死循环的一个原因,提出了一种在仿真前发现设计中可能造成仿真时死循环的方法.方法主要分为三个步骤:1)分析数字逻辑设计中形成组合逻辑关系可能的文法形式.2)利用Juliano[1]三元组范式化方法对过程赋值语句进行范式化,从而判别哪些过程赋值是会生成组合逻辑电路.3)用有向图深度优先遍历方法发现组合反馈回路,以检测数字逻辑设计中组合回路的陷阱.并分析了算法复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金乃咏	华东师范大学软件学院	5	23	2.0	4.0
2	倪韬雍	华东师范大学软件学院	1	13	1.0	1.0