异步电路验证算法

摘要：

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

关键词：验证算法、异步电路、事件时序分析、状态空间搜索、最大时间差、接口时序验证

所属期刊栏目：27

分类号：TP306(计算技术、计算机技术)

资助基金：国家自然科学基金60074012,60274011;国家攀登计划970211017;教育部留学回国人员科研启动基金;面向21世纪教育振兴行动计划985计划985信息-07基金-07

在线出版日期：2004-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：66-78