基于结构的行为级测试生成

来源 :微电子测试 | 被引量 : 0次 | 上传用户:gdgyhp
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文固定型单故障,讨论了不同结构的,任意位全加器的测试生成问题。对于串行进位的全加器,只需8个测试码就可得到100%的故障覆盖率;对于n位先行进位全加器,则需要2^n+2+2^n-n+4个测试码。
其他文献
Chatkal-Kurama region is characterized by igneous complexes of rocks with different composition. According to the existing data magmatism can be referred to 3 types:a) subductional(C_1-C_3);b) orogeni
当支撑经济增长的“三驾马车”———投资、外贸与消费难以齐头并进之际,为了确保国民经济的持续稳定增长,势必有的“马”要跑快些。在一定时期,经济增长可以通过投资拉动得
随着计算机网络技术的不断发展,软件在全社会各行业得到了广泛的应用,很大程度上也提高了企业的生产效率,但是软件的安全问题也随着软件的广泛应用而渐渐地暴露出来,并且呈现
摘 要:电力电子技术课程实验教学大多属于演示性或验证性实验,限制了学生动手能力和创新能力的培养。针对目前实验技术设备不能满足教学需要的情况,设计了具有良好扩展性、较为先进的电力电子技术综合实验平台。平台包括传统实验内容,通过标准数据接口,实现PC机与实验平台的信息交换、拓展板与实验平台的信息交换,达到实验教学的综合要求。  关键词:电力电子实验;综合实验平台;创新性  电力电子技术在全世界范围
分析了高等学校资产管理存在的问题,介绍了资产生命周期管理的概念,提出了用大资产模式进行资产管理的理念:以工作流平台和数据流平台结合为前提,以专业化、信息化和精细化为
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
作为辅助教学手段的多媒体教学,以声画并茂、化静为动的特点被广泛使用。“班班通”工程实施后,农村学校获取优质资源的途径是什么?靠购买靠制作不是长久之计,而且经费也不允许。
新生儿疾病筛查是减少出生缺陷、提高我国出生人口素质的三级预防措施之一。为进一步做好新生儿疾病筛查工作,卫生部于2008年开始对2004年印发的《新生儿疾病筛查技术规范》进
人事管理信息化是高校信息化建设的重要组成部分。介绍了人事管理信息化的内涵和必要性,揭示了高校人事管理信息化对未来高校战略性发展的重要意义,分析了目前高校人事管理信息
学生喜欢动态的教学资源,多媒体等教学设备恰能为学生提供这样的教学手段,在英语环境中呈现新知。学生通过观看视频动画,初步感知英语信息。教师选择适合多媒体播放的英语素材,通过声音、图片、动画、歌曲等方式,让学生听到或者看到相关内容,使学生联想到教师布置的学习任务,从而分析、判断、理解英语素材的大概意思,培养学生的自学能力,为今后的进一步学习提供知识储备。  一、利用多媒体创设教材情境,激发学生自主学习