对异步时序电路的分析和使用是一个比较困难的问题 ,所以 ,异步时序电路的实际应用范围远不如同步时序电路 .通过改进 JR Burch等提出的分析方法 ,使之适用于异步时序电路 .该方法使用基于 OBDD的布尔特征函数来表示电路的转移关系 ,并通过基于 OBDD的布尔函数的运算来确定异步时序电路的稳定状态、及当输入改变时电路的下一个稳定状态 ,由此可实现对电路特性的精确描述 The analysis and application of asynchronous sequential circuits is a difficult issue, so the practical application range of asynchronous sequential circuits is far less than that of synchronous sequential circuits, which is improved by the analysis method proposed by JR Burch et al., Which makes it suitable for asynchronous sequential circuits. The OBDD-based Boolean feature function is used to represent the transfer relationship of the circuit. The OBDD-based Boolean function is used to determine the steady state of the asynchronous sequential circuit and the next stable state of the circuit when the input changes. Thus, Accurate description of the characteristics