论文部分内容阅读
在现今的数字设计中，由于系统的复杂性和对于产品可靠性的更高的要求，测试在当今的设计中的地位与日俱增。本文根据图论中的最短路算法，给出了一种基于状态机设计的数字系统的测试方法，该方法是对测试中的测试时间与故障覆盖的一个较好的折中。
基于状态机设计的数字系统的一种测试算法
【摘 要】
：
在现今的数字设计中，由于系统的复杂性和对于产品可靠性的更高的要求，测试在当今的设计中的地位与日俱增。本文根据图论中的最短路算法，给出了一种基于状态机设计的数字系统的测
【机 构】
：
成都无线电机械高等专科学校信科系数学教研室
【出 处】
：
宜宾学院学报
【发表日期】
：
2007年12期
其他文献
随着越来越多经济领域的放开，中国产生富豪的速度还会更快。他们年均消费170万元，男性居多，平均拥有3辆车、4．4块手表，喜欢收藏珠宝、古代字画和当代艺术品。男性喜欢的运动是高尔
从农民工进城务工到逐步融入城市成为城市居民，这是我国必经的历史过程。这不仅是农民工所要面临的问题，同时也是我们整个社会所要面对的问题。农民工要完全融入城市，成为城市居
采用教学实验法,探索篮球投篮教学时强调出手后手臂跟随动作对投篮命中率的影响。通过实验发现在投篮教学中强调出手后手臂跟随动作的技术要求,能明显提高学生投篮命中率,提
制定个性化的大学英语教学大纲、提高大学生英语综合能力是《大学英语课程教学要求》提出的新要求。本文以三峡大学大学英语教学模式为研究案例,运用Krashen和Swain的输入输
放射性核素脑显像是把放射性核素示踪剂引人体内，用探头在体外探查核素在靶器官内的动态和(或)静态分布状况的核医学诊断方法。根据放射性核素示踪剂特定的生理生化特征，可了解
目的 探讨非洛地平对高血压引起的左室肥厚与舒张早期左室驰张功能改变的作用。方法 将39例高血压患者随机分为2组；观察组（服用非洛地平5毫克，日一次）与对照组，然后测定左室肥厚
20世纪二三十年代的乡村教育运动与当代以广播电视大学为主体的远程教育服务“三农”在对象和宗旨等方面有许多相似之处：开展为“三农”服务的现代远程教育需要从这场教育运动
通过分析三峡大学羽毛球场馆运营现状,与宜昌市经营得较好的羽毛球馆的比较,提出改变三峡大学羽毛球场馆运营模式,提高场馆利用率和收益的方法。
乐业县水利电业有限公司于2003年7月9日正式挂牌成立．公司前身为乐业县电业公司．归属广西水利电业集团有限公司直管。目前，公司有职工192人，拥有供电网络110千伏变电站1座，35千伏