| 异步时序电路分析一种OBDD方法 |
| |
| 引用本文： | 吕毅,姚志江,魏道政,解永良.异步时序电路分析一种OBDD方法[J].计算机辅助设计与图形学学报,2001,13(6):500-504. |
| |
| 作者姓名： | 吕毅 姚志江 魏道政 解永良 |
| |
| 作者单位： | 中国科学院计算技术研究所CAD开放研究实验室 北京 100080 |
| |
| 基金项目： | 国家自然科学基金 (69773 0 0 6)资助 |
| |
| 摘 要： | 对异步时序电路的分析和使用是一个比较困难的问题，所以，异步时序电路的实际应用范围远不如同步时序电路，通过改进JRBurch等提出的分析方法，使之适用于异步时序电路，该方法使用基于OBDD的布尔特征函数来表示电路的转移关系，并通过基于OBDD的布尔函数的运算涞确定异步时序电路的稳定状态，及当输入改变时电路的下一个稳定状态，由此可实现对电路特性的精确描述。
|
| 关 键 词： | 异步时序电路 特征函数 有序二元判决图 OBDD |
| 修稿时间： | 2000年3月6日 |
An OBDD Method for Analysis of Asynchronous Sequential Circuits |
| |
| LU Yi,YAO Zhi-Jiang,WEI Dao-Zheng,XIE Yong-Liang.An OBDD Method for Analysis of Asynchronous Sequential Circuits[J].Journal of Computer-Aided Design & Computer Graphics,2001,13(6):500-504. |
| |
| Authors: | LU Yi YAO Zhi-Jiang WEI Dao-Zheng XIE Yong-Liang |
| |
| Abstract: | |
| |
| Keywords: | asynchronous sequential circuits characteristic function Ordered Binary Decision Diagram |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
