| 时序机的功能验证 |
| |
| 引用本文： | 何新华 崔晓天. 时序机的功能验证[J]. 微电子学与计算机, 1994, 11(3): 10-13 |
| |
| 作者姓名： | 何新华 崔晓天 |
| |
| 作者单位： | 中科院计算所ＣＡＤ开放研究室 |
| |
| 摘 要： | 本文介绍了时序电路（时序机）功能验证的基本概念和发展，分析了验证中存在的问题以及冗余故障的性质．提出基于ＳＴＧ的功能验证方法。最后，提出了采用动态任务调度策略的并行验证技术以解决状态遍历问题。
|
| 关 键 词： | 验证，冗余，故障，状态跳变图，二分判定图 |
Functional Verification for Sequential Machines |
| |
| He Xinhua,Cui Xiaotian,Ge Yukun,Wei Daozheng. Functional Verification for Sequential Machines[J]. Microelectronics & Computer, 1994, 11(3): 10-13 |
| |
| Authors: | He Xinhua Cui Xiaotian Ge Yukun Wei Daozheng |
| |
| Abstract: | This paper introduces the verification concept anddevelopment of sequential circuits (machines ). Afteranalysing the redundance and redundant fault,the author presents the functional verification method based on the state transition graph. Finally, parallel vert flea non technique for STG traverse which use dynamic task schedule is described. |
| |
| Keywords: | Verification Redundance Fault State -transition-graph Binary decision diagram |
| 本文献已被 CNKI 维普 等数据库收录！ |
