论文部分内容阅读
本文以状态跳变图为基础,深入分析冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测、不可测故障与冗余之间的联系。最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略。
时序电路的冗余状态变换确认研究
【摘 要】
：
本文以状态跳变图为基础,深入分析冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测、不可测故障与冗余之间的联系。最后结合验证和测试生成,提出状态冗
【机 构】
：
复旦大学ASIC和系统国家重点实验室; 总参装甲兵工程学院计算机室 上海 200433; 北京 100072;
【出 处】
：
电子科学学刊
【发表日期】
：
2004年期
其他文献
袁宏道是晚明公安派的核心人物,其诗歌理论的核心思想就是"性灵说"。他提出的"性灵说"也成为了公安派的核心理论。从首先提出其"性灵说"的文章《叙小修诗》着手,从"性灵说"的
进入二十世纪,我国软饮料行业发展迅速。以百事可乐、可口可乐为代表的国际大型的饮料厂商纷纷登陆中国大陆这个庞大的消费市场,企图瓜分这一巨大的蛋糕。随着竞争的日趋激烈
本文以当今民间兴起的重修“族谱热”为研究对象,对闽西地区的宗族修谱现象进行考察。考察中以传统族谱文化为参照,对当代民间的修谱行为和族谱文本的一些变化进行分析与探讨
<正>矿业开发活动结束之后,留下了大量的废弃矿坑。随着社会的发展,矿坑的利用无论从环境保护的角度,还是资源综合利用的要求来说,都是十分必要的。根据不同矿坑的具体特点,
目的探讨地佐辛与丙泊酚在老年患者无痛胃镜术中麻醉的疗效。方法以接受无痛胃镜麻醉术的82例老年患者作为研究对象,将其根据麻醉药物不同分为对照组与观察组,对照组给予舒芬
艾米丽·狄金森与李清照分别被誉为美国和中国文学史上最杰出的女诗人。狄金森生前留下了1775首内容和形式上都富有独创性的诗歌,涉及爱情、自然、死亡等方面,这在美国乃至世
毛泽东《在延安文艺座谈会上的讲话》是一部重要的马克思主义理论经典文献,正确地解决了文艺运动和文艺科学的一系列问题。五十年来,它对中国文艺的发展,中国文艺工作者的成
上市公司的并购问题一直是各国关注的焦点。并购能否有效地改善相关公司的绩效,引起了国内外学术界的极大关注。目前有大量关于并购绩效的理论和实证文献,综合来看,并购的价
《关雎》作为《诗经》的开篇之作,在中国典籍中占有非常重要的位置,一直都受到很多学者的关注,也有很多名家对其英译进行了尝试。本文通过对《关雎》不同英译文本的对比研究,
随着当代信息社会的不断进步,无线传真作为无线网络技术的一项新的业务,是二十一世纪移动通信领域的又一高科技产品。它可广泛应用于交通运输、移动办公、商务旅行、公安侦破