| 基于状态变换的数字电路冗余确认研究 |
| |
| 引用本文： | 何新华,蔡红柳. 基于状态变换的数字电路冗余确认研究[J]. 装甲兵工程学院学报, 1998, 0(1) |
| |
| 作者姓名： | 何新华 蔡红柳 |
| |
| 作者单位： | 装甲兵工程学院计算机教研室!北京100072 |
| |
| 摘 要： | 以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.
|
| 关 键 词： | 测试生成 验证 冗余确认 有限状态机 |
State Transition Redundance Identification |
| |
| He Xinhua Cai Hongliu. State Transition Redundance Identification[J]. Journal of Armored Force Engineering Institute, 1998, 0(1) |
| |
| Authors: | He Xinhua Cai Hongliu |
| |
| Affiliation: | He Xinhua Cai Hongliu |
| |
| Abstract: | The BDD(Binary Decision Diagram) is very important for representing synchronous circuits. With an analysis and reduction of BDD, the state traversing is proposed on the basis of collapsing of input, loutes and states on STG. Finally, the verification for the non-reset circuits is described. |
| |
| Keywords: | test generation verification redundance fault Finite State Machine |
| 本文献已被 CNKI 等数据库收录！ |
|
