手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

数字电路冗余状态确认研究

何新华;刘玉军

  本文以状态变换图为基础,分析冗余状态与变换之间的特征,讨论了结构故障和冗余之间的联系,并结合验证算法提出状态冗余的隐含遍历确认方法。……   
[关键词]:测试生成;冗余确认;状态变换;有限状态
[文献类型]:会议论文
[文献出处]: 《第十届全国容错计算学术会议论文集2003年
App内打开