基于状态机设计的数字系统的一种测试算法

下载PDF

导出

摘要在现今的数字设计中,由于系统的复杂性和对于产品可靠性的更高的要求,测试在当今的设计中的地位与日俱增。本文根据图论中的最短路算法,给出了一种基于状态机设计的数字系统的测试方法,该方法是对测试中的测试时间与故障覆盖的一个较好的折中。

作者陈晓敏

机构地区成都无线电机械高等专科学校信科系数学教研室

出处《宜宾学院学报》 2007年第12期24-25,共2页 Journal of Yibin University

关键词测试状态机 DIJKSTRA算法

参考文献2

1汤恒琦,邓培民,易忠.幺半环上模糊有限状态机的一些性质[J].纯粹数学与应用数学,2009,25(2):363-371. 被引量：1
2彭家寅.扰动模糊有限转换状态机[J].计算机工程与应用,2016,52(22):1-8. 被引量：6
3张银鸿,赵京伟,李小男,谢小希,高翠山,白景芝,陈锡辉,闵建,聂振东.BESⅢ安全联锁慢控制系统方案设计与可靠性研究[J].核电子学与探测技术,2008,28(6):1119-1123. 被引量：2
4夏银水,王伦耀,叶锡恩.划分有限状态机的低功耗实现模型[J].计算机辅助设计与图形学学报,2007,19(5):642-646. 被引量：3
5张东红.Petri网位置不变量的几何意义[J].西安电子科技大学学报,2000,27(6):717-721. 被引量：6
6丁瑾,胡健栋.一种新的故障测试率的概率估计方法[J].电子科学学刊,1995,17(1):55-59.
7蒋昌俊.一类同步合成网合法发射序列判定的一个多项式时间算法[J].中国科学（E辑）,2002,32(1):116-124. 被引量：1
8Min XU,Hisao ISHIBUCHI,Xin GU,Shitong WANG.Dm-KDE： dynamical kernel density estimation by sequences of KDE estimators with fixed number of components over data streams[J].Frontiers of Computer Science,2014,8(4):563-580. 被引量：2
9林宇航,施隆照.一种基于Verilog HDL的红外遥控解码电路的设计[J].科技创新导报,2012,9(32):24-25. 被引量：1
10阮坚,王志英,王蕾,李勇.大规模Burst Mode异步控制电路分解与综合[J].计算机科学,2009,36(2):162-166. 被引量：1

宜宾学院学报

2007年第12期

内容加载中请稍等...