【摘 要】
：
现代数字集成电路技术的飞速发展,对计算机辅助测试提出更多更高的要求,可满足性方法(SAT-Satisfiability)作为一种有效的完备测试生成方法,近年来在集成电路测试领域引起广
【机 构】
：
辽宁省朝阳师范高等专科学校 辽宁 朝阳 122000
论文部分内容阅读
现代数字集成电路技术的飞速发展,对计算机辅助测试提出更多更高的要求,可满足性方法(SAT-Satisfiability)作为一种有效的完备测试生成方法,近年来在集成电路测试领域引起广泛的研究兴趣,并取得了一些应用上的成功。对电子数字电路的SAT可满足性算法进行研究,希望能够有助于提升我们对相关问题的认识,以有助于数字电路测试的不断发展和进步。
The rapid development of modern digital integrated circuit technology, computer aided testing put forward more and more requirements, satisfiability method (SAT-Satisfiability) as an effective and complete test generation method, in recent years in the field of integrated circuit testing a wide range of Research interest, and achieved some success in the application. The study of SAT Satisfiability Algorithm for Electronic Digital Circuits is hoped to help us to improve our understanding of related issues so as to facilitate the continuous development and improvement of digital circuit testing.
其他文献
目的:观察α-干扰素(IFN-α)联合利巴韦林治疗慢性丙型肝炎的疗效及安全性。方法:69例慢性丙型肝炎随机分为治疗组(IFN-α与利巴韦林联合治疗)35例,与单用IFN-α组34例。结果
遵循国际标准和医疗卫生管理规范,研究面向标准交换和共享的电子病历,以搭建基于电子病历的远程区域医疗平台,实现符合中国国情医院间医疗资源共享,提供一种缓解基层"看病难、看病贵"的解决方案。
目的 比较后腹腔镜输尿管切开取石术与经尿道输尿管镜碎石术治疗输尿管上段结石的疗效.方法 选取2005年6月至2008年6月收治的72例单侧输尿管上段结石患者,随机分为两组:34例
首先分析了持久化的设计思想与模式,包括解耦合原理、DAO模式实现.然后分析了Hibernate的体系结构,并提出了Hibernate应用的性能优化方法.最后,给出了一个设备管理系统应用实
目的 保障无陪伴老人在门诊输液期间的安全.方法 从生理、心理、环境、药物、认知因素等方面分析易出现的安全问题,制定相应的护理对策.结果 自从对无陪伴老人实施各项安全护
近年来随着人民生活水平的不断提高,大家在关注住宅面积、户型、朝向的同时也越来越关注厨房和卫生问的设计.因此,与居住环境卫生有着直接关联的室内给排水管道设计的好坏直
本文系统地论述了利用Arcgis平台建立耕地后备资源数据库的建库技术流程;简单地介绍了数据库建设前期的分析及数据准备工作,重点讨论了数据库建设过程中数据的内业处理方法。
在临床工作中,常遇有青年女性单睑患者因不良抬眉习惯致轻度的额纹增多,目前多采用局部注射肉毒毒素的方法进行治疗.自2006年11月至2008年6月,我们对27例青年女性单睑伴有轻
数据库的性能优化直接影响到整个数据库应用系统的有效运行,论述了基于SQLServer大型数据库应用系统的性能优化问题,从数据库设计优化、SQL语句优化等方面出发,阐述了提高数
目的 观察肿瘤坏死因子相关凋亡诱导配体(TRAIL)在HBV感染所致免疫损伤中的作用.方法 选择慢性乙肝患者(CHB)20例,乙肝病毒携带者(ASC)20例,正常健康者10例,ELISA检测其血清s