时序电路的冗余状态变换确认研究
何新华; 蔡红柳; 王维峰
复旦大学ASIC和系统国家重点实验室 上海 200433; 总参装甲兵工程学院计算机室 北京 100072
STATE TRANSITION REDUNDANCE IDENTIFICATION
He Xinhua; Cai Hongliu; Wang Weifeng
Fudan University Shanghai 200433
摘要 本文以状态跳变图为基础,深入分析冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测、不可测故障与冗余之间的联系。最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略。
关键词 ：
测试生成 ,
验证 ,
有限状态机
Abstract ：The BDD (Binary Decision Diagram) is very important for representing synchronous circuits. After analyzing and reducing the BDD, the state traversing is proposed on the basis of collapsing of input, routes and states on STG. Finally, the verification for the non-reset circuits has been described.
Key words ：
Test generation
Verification
Finite-state-machines
收稿日期: 1996-05-14
[1]
朱小玉,刘琴,王国军. 云存储中一种支持可验证的模糊查询加密方案
[2]
刘忆宁,赵全玉. 基于承诺的可验证公平性微支付
[3]
姜磊,王彤. 机载雷达自适应对角加载参数估计方法
[4]
杨小东,李亚楠,高国娟,王彩芬,鲁小勇. 标准模型下的服务器辅助验证代理重签名方案
[5]
李拴保,王雪瑞,傅建明,张焕国. 多云服务提供者环境下的一种用户密钥撤销方法
[6]
张玉磊,李臣意,张永洁,王彩芬. 可证安全的紧致无证书聚合签密方案
[7]
张普宁,刘元安,吴帆,唐碧华,吴超. 物联网中适用于内容搜索的实体状态匹配预测方法
[8]
王尚平, 白越, 刘丽华, 陈娟娟. 多变量强指定验证者签名方案
[9]
郭宇弘, 黎塔, 肖业鸣, 潘接林, 颜永红. 基于加权有限状态机的动态匹配词图生成算法
[10]
王鹏宇, 宋千, 周智敏. 基于多测量动态聚类的压缩感知增强成像方法
[11]
杜宇韬, 鲍皖苏, 管文强, 周淳, 付向群. 基于密集编码的多方与多方量子秘密共享
[12]
赵宸, 孙斌, 杨义先, 杨焱. 一种轻量化的边界网关协议路径验证机制
[13]
谷利泽, 孙艳宾, 卿斯汉, 郑世慧, 杨义先. 新的基于Shim签名的可验证加密签名方案
[14]
陆明莹, 张丽丽, 王国裕, 张红升, 李良威. 低功耗便携式数字音频广播收音机中AAC LC解码器的设计优化
[15]
郁滨, 卢锦元, 房礼国. 基于迭代算法的可验证视觉密码
1999, Vol. 21 
