异步电路验证算法

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

Verification Algorithms for Asynchronous Circuits

Application of asynchronous circuits has become one of the most promising directions in circuit design because asynchronous circuits are free of clock skews. Since the complexity of asynchronous circuits is much larger than the complexity of synchronous circuits, automatic verification tools are urgently required to guarantee the quality and performance of asynchronous circuits. The cores of those tools are verification algorithms which can be formulated as five types of model: logic, algebraic, symbolic, numerical and geometrical model. In this paper, verification algorithms for asynchronous circuit are surveyed by selecting several representative ones from those models and summarized and comparing them from several aspects. Those aspects include model structure, graphical specification, problem formulation, theoretical background, computational complexity, and applicable area. All summarizations and comparisons are undertaken in a framework of applications, i.e., all algorithms are classified as two classes by two key problems induced from real applications: timing analysis of events and exploration of state space. Several typical algorithms and their examples of applications are specified. In this paper, a comprehensive map of the asynchronous circuit verification algorithms is revealed for engineers and researchers. And basic principles for choosing appropriate verification algorithms are summarized. In the future, symbolic and approximate method will be the promising directions.