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

• 作者: 吕毅 姚志江 解永良 魏道政
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 异步时序电路 特征函数 有序二元判决图
• 年，卷（期）: 2001,（6）
• 所属期刊栏目: 计算机辅助测试
• 页码范围: 500-504
• 页数: 5页
• 分类号: TP331
• 字数: 4272字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2001.06.005

摘要

对异步时序电路的分析和使用是一个比较困难的问题，所以，异步时序电路的实际应用范围远不如同步时序电路.通过改进J R Burch等提出的分析方法,使之适用于异步时序电路.该方法使用基于OBDD的布尔特征函数来表示电路的转移关系，并通过基于OBDD的布尔函数的运算来确定异步时序电路的稳定状态、及当输入改变时电路的下一个稳定状态，由此可实现对电路特性的精确描述.