【摘 要】
：
改进了二种组合电路设计错误诊断DED（Design Error Diagnosis）算法。它使用多可满足性问题（SAT）求解技术，通过对布尔可满足解计数来实现对多个逻辑错误的诊断定位。改进了电路诊断
【机 构】
：
复旦大学微电子系专用集成电路与系统国家重点实验室
论文部分内容阅读
改进了二种组合电路设计错误诊断DED（Design Error Diagnosis）算法。它使用多可满足性问题（SAT）求解技术，通过对布尔可满足解计数来实现对多个逻辑错误的诊断定位。改进了电路诊断架构，新架构的合取范武表述所使用的变量和子句数目大为减少；通过多种启发武方法，避免了不必要的操作，使算法在时间和内存上保持有效性。
其他文献
本文在研究与探讨了国内外关于数学学习障碍文献的基础之上,阐述了高中新生数学学习受阻的基本内容,探讨了高中新生数学学习受阻的成因及教学对策分析。
目的:观察自拟解郁泻心汤治疗胆汁返流性胃炎的临床疗效。方法:将经胃镜检查确诊患者140例随机分为两组各70例,治疗组口服自拟解郁泻心汤,对照组口服莫沙必利、奥美拉唑。结果:治疗组总有效率为94.29%(95%CI=85.64%~98.39%),对照组为68.57%(95%CI=57.69%~79.45%),两组综合疗效比较(u=3.672 5,P=0.000 4),差异有显著性意义;与对照组比较,
非淀粉多糖酶是消除抗营养因子作用的主要饲料添加剂,该类制剂目前在畜禽养殖中越来越受到青睐。本文介绍了非淀粉多糖酶的作用机理,并分别简述了纤维素酶、木聚糖酶、葡聚糖
2012年以来,银行理财、信托计划、证券公司资管计划、基金子公司专项资管计划等各类金融机构资产管理业务快速发展,各类金融机构之间的跨行业资产管理合作日益密切,我国步入
历史的时针,经过千年的跋涉,即将指向21世纪。人类从燧石取火到卫星上天,世界正日新月异地进行着一系列嬗变。近代,小科学以百年为量度单位来计算事物的发展,而今天.在以信息
为了解某医院Ⅰ类切口手术围术期预防用抗菌药物应用的情况,根据《抗菌药物临床应用指导原则》、《关于抗菌药物临床应用管理有关问题的通知》等有关抗菌药物的相关规定,笔者
《常用社区护理技术》课程对于高职临床医学五年一贯制专业学生极为重要,是学习其他临床专业技术的基础。根据学生及课程内容特点,教学应通过应用不同方法来提高实践教学质量
教师应合理分配专项技术训练、身体素质的练习和体育理论知识的学习时间,针对学生技术水平的不同,教师应区别对待,采用分层教学和弹性教学。
马克·韦尔的新书《城市与汽车》从重新理解“城市”这一基本概念入手,将城市机动性放在城市发展基本要素之一的高度来认识,并阐述了它与城市功能空间布局之间的相互作用。运
随着新课程的实施,需改变学生学习方式,让学生在观察中学习数学,在情景中体验数学,培养学生初步形成探求的理念,培养学生会发现问题、分析问题、解决问题的能力,体会数学在现