论文部分内容阅读
该文研究了二元判决图的基本理论及其在逻辑验证和VLSI测试向量自动生成中的应用,提出了一些有价值的新概念和新算法.
二元判决图及其在VLSI逻辑验证和测试生成中的应用研究
【摘 要】
：
该文研究了二元判决图的基本理论及其在逻辑验证和VLSI测试向量自动生成中的应用,提出了一些有价值的新概念和新算法.
【机 构】
：
电子科技大学
【出 处】
：
电子科技大学
【发表日期】
：
1997年期
其他文献
目的:分析个体化延续护理在艾滋病患者的生存质量中的影响.方法:选择我院2017年6月-2019年6月间收治的艾滋病患者1000例,并按照数字平均法将患者划分为观察组和对照组.对照组
相变存储器(PCRAM)是目前最具潜力的下一代非易失性存储器，三星与美光已初步量产。PCRAM的核心是相变材料，业界应用最广泛的是GeSbTe体系材料，其PCRAM器件在热稳定性、速度、功
该文利用仿真建模、人工智能、多媒体等技术通过计算机把教学内容、实验设备、教师指导和操作者的思考有机地融为一体,模拟了真实的实验教学过程,研制出"塞曼效应仿真实验"?
目的:对阑尾炎术后预防感染的护理方法进行研究分析.方法:随机选取2016年7月-2019年7月我院收治的60例急性阑尾炎患者作为本次分析对象,根据患者入院先后顺序进行分组治疗,其
目的:探究优化护理急救流程在急诊心肺脑复苏抢救中的应用.方法:选取了在2017年2月-2018年6月我院接收救治的80例心肺脑复苏患者为本次研究对象,将患者随机分为对照组与实验.
该文所介绍了酒店智能超媒体导餐系统,电将专家系统技术和超媒体技术结合在一起的一种新型系统.它结合了两者的长处,既具有超媒体的界面友好、内容丰富、浏览方便的特点,也具
目的:探讨在卵巢囊肿术患者中运用协同护理模式联合心理干预对患者术后自我效能的影响.方法:将妇科60例卵巢囊肿术患者(2018年1月到2019年5月间)用计算机随机分组,分为:基础