异步电路验证算法.pdfVIP

第 27 卷 　第 1 期 计 　　算 　　机 　　学 　　报 Vol . 27 No . 1 2004 年 1 月 CH IN ESE J OU RNAL OF COM PU TER S J an . 2004 　 异步电路验证算法 茅剑锋 　　赵千川 (清华大学自动化系 　北京 100084) 摘 　要 　异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点. 发展自动化的验证工具已成为确保大 规模异步电路质量和性能的关键. 其核心课题就是建立异步电路的验证算法. 该文整理列举了基于多种数学模型 的验证算法 ,如逻辑模型 、代数模型 、符号模型 、数值模型和几何模型的验证算法 ,并从应用的角度将现有的异步电 路验证算法分为两类 ,分别是事件时序分析类算法和状态空间搜索类算法 ,从算法的理论基础 、应用背景 、模型结 构 、图形描述 、适用范围、算法复杂度编程复杂度等多个角度作了比较研究 ,给出了部分代表算法的应用算例 ,最后 总结了在实际问题中选择验证算法的原则. 关键词 　验证算法 ;异步电路 ;事件时序分析 ;状态空间搜索 ;最大时间差 ;接口时序验证 中图法分类号 TP306 Verif ication Al gorithms f or Asynchronous Circuits MAO J ianFeng 　ZHAO QianChuan ( Dep art ment of A utom ation , Tsi ng h ua University , B eij i ng 100084) Abstract 　Application of asynchronous circuit s has become one of t he mo st p romising directions in cir cuit design because asynchronous circuit s are free of clock skew s. Since t he complexit y of asynchronous circuit s is much larger t han t he complexit y of synchronous circuit s , automatic verification tools are ur gently required to guarantee t he qualit y and performance of asynchronous circuit s. The cores of t ho se tools are verification algorit hms which can be formulated as five types of model : logic , algebraic , sym bolic , numerical and geomet rical model . In t his p aper , verification algorit hms for asynchronous circuit are surveyed by selecting several rep resent ative ones from t ho se models and summarized and comp aring t hem from several