异步时序电路分析的一种OBDD方法  

An OBDD Method for Analysis of Asynchronous Sequential Circuits

作　　者：吕毅[1] 姚志江[1] 魏道政[1] 解永良[1] 

机构地区：[1]中国科学院计算技术研究所CAD开放研究实验室,北京100080

出　　处：《计算机辅助设计与图形学学报》2001年第6期500-504,共5页Journal of Computer-Aided Design & Computer Graphics

基　　金：国家自然科学基金 (69773 0 0 6)资助

摘　　要：对异步时序电路的分析和使用是一个比较困难的问题 ,所以 ,异步时序电路的实际应用范围远不如同步时序电路 .通过改进 JR Burch等提出的分析方法 ,使之适用于异步时序电路 .该方法使用基于 OBDD的布尔特征函数来表示电路的转移关系 ,并通过基于 OBDD的布尔函数的运算来确定异步时序电路的稳定状态、及当输入改变时电路的下一个稳定状态 。It is rather difficult to analyze and make use of asynchronous sequential circuits, so the application of asynchronous sequential circuits is much narrower than synchronous ones. We have improved the approach of J.R.Burch et al . and make it suitable for asynchronous sequential circuits. New method expresses the transition relation of circuit through Boolean characteristic function based on OBDD(Ordered Binary Decision Diagram). Furthermore, it determines the stable state and next stable state of asynchronous sequential circuits by the operations based on OBDD for the exact description of the property of circuits.

关 键 词：异步时序电路 特征函数 有序二元判决图 OBDD 

分 类 号：TN79[电子电信—电路与系统]