异步电路验证算法

• 作者: 茅剑锋 赵千川
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 验证算法 异步电路 事件时序分析 状态空间搜索 最大时间差 接口时序验证
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 66-78
• 页数: 13页
• 分类号: TP306
• 字数: 12005字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2004.01.008

摘要

异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点.发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键.其核心课题就是建立异步电路的验证算法.该文整理列举了基于多种数学模型的验证算法,如逻辑模型、代数模型、符号模型、数值模型和几何模型的验证算法,并从应用的角度将现有的异步电路验证算法分为两类,分别是事件时序分析类算法和状态空间搜索类算法,从算法的理论基础、应用背景、模型结构、图形描述、适用范围、算法复杂度编程复杂度等多个角度作了比较研究,给出了部分代表算法的应用算例,最后总结了在实际问题中选择验证算法的原则.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵千川	清华大学自动化系	50	662	11.0	25.0
2	茅剑锋	清华大学自动化系	1	5	1.0	1.0