数字电路测试生成的二元判定图方法

来源 :重庆工商大学学报(自然科学版) | 被引量 : 0次 | 上传用户:selions
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明.
其他文献
提出了基于重用思想的智能型多媒体教学软件模型,该系统的设计体现网络化、智能化,多媒体化、模块化设计和可重用思想。构建了一个开放性的课件开发平台,该平台既能开发全新的IC
基于分子距边矢量,借助多元线性回归技术建立描述卤代烃沸点变化规律的定量结构-性质相关关系模型,其复相关系数R=0.9935,均方根误差RMS=10.07K。
讨论了如何从关系数据库上建立基于OLAP的数据维和每维中的数据层,并给出了决策系统分析的内容,从设计上实现了基于OLAP的多维分析.
在电工理论与生物学及医学等学科的交叉领域,从学科建设的角度提出了"生物电工理论"这一新的学科概念,体现了学科交叉、技术相融、应用相通的特点;对生物电工理论的研究领域
阐述了Windows 2000 Server是一个功能强大的网络操作系统,其具有广泛的应用范围;说明了怎样使用Windows 2000 Server提供的请求拨号路由服务,实现其专用路由功能,充分实现了
研究了新农药敌杀死、杀灭菊酯对槟榔害虫红脉穗螟的毒杀作用.结果表明敌杀死50、100mg/L,杀灭菊酯200、400mg/L对刚开放的槟榔花穗均无药害;在点滴法试验中敌杀死的毒力(LD5
针对工程结构裂纹的产生和扩展原因,介绍了不同材料的裂纹监测技术,指出了基于传统方法的裂纹监测技术的缺陷和不足。在此基础上,着重分析了基于电子散斑干涉技术的结构裂纹监测技术的原理和应用。该技术用CCD相机将被测物体上的图像记录下来,并传输到计算机图像分析系统中进行存储和分析,经过图像处理和模式识别可以清楚地得到裂纹的图像,从而获得裂纹的各个参数;该技术可以实现对脆性材料和准脆性材料微小裂纹及裂纹尖端
采用Lineweaver—Burk作图方法研究了苯甲酸钠和氰化钠对酪氨酸酶催化的二羟基苯基丙氨酸氧化反应的抑制作用,结果显示苯甲酸钠提高了米氏常数Km,而其最大反应速度Vmax保持不变
以OMRON公司的CQM1 PLC为基础,结合开关磁阻电动机(SR电动机)的工作原理及电压斩波控制方式,讨论了由PLC构成的SR电动机驱动控制器中有关SR电动机的起动程序、转速切换程序、
对约束函数单调而目标函数非单调的规划问题,给出了目标函数的1种新的单调化变换公式.先引入极大熵函数,将多个约束的非线性规划问题,转化为只含1个约束的规划问题,再将转化