论文部分内容阅读
在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序(ATPG)的搜索空间,因而能加快测试生成过程,增加故障覆盖率.通过实例分析,证明了该方法的可行性和效果.
一种在RTL测试模式生成中验证断言再用的方法
【摘 要】
：
在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程
【机 构】
：
塔林工学院,计算机工程系,塔林,爱沙尼亚奈良科技研究所,信息科学研究生院,奈良,日本;
【出 处】
：
上海师范大学学报（自然科学版）
【发表日期】
：
2010年5期
其他文献
目的 探讨99Tcm-MIBI亲肿瘤延迟断层显像在肺部占位病灶中的诊断价值.方法 对28例肺部占位患者静脉注射740 MBq99Tcm-MIBI后1 h行延迟断层显像,以占位病灶(T)/对侧相应部位或邻近正常组织(N)的摄取比值T/N＞1.31为恶性病变标准对肺部占位病灶进行良、恶性判断.结果 肺占位在良性占位组显像剂浓聚多数轻度增强,恶性占位组多数明显增强.肺占位诊断恶性病灶的灵敏度为76.9%
眩晕是一种临床常见、病因复杂的病证,病程长短不一,反复发作,不易根治。笔者自2006年一2009年期间采用半夏白术天麻汤加味配合利多卡因治疗眩晕36例,取得了满意疗效,现总结
期刊
<正>郁证,古谓之"郁",是指由于情志不舒、气机郁滞而引起的疾病的总称。郁证范围甚广,正如古人郑守谦所说:"郁非一病之专名,乃百病之所由起也。"郁证在概念上有广义与狭义之
目的 观察中药内服外洗治疗婴儿湿疹的临床疗效.方法 将60例湿疹患儿随机分为两组,每组各30例.治疗组采用中药祛湿汤配合药浴治疗.对照组给予扑尔敏0.35 mg/(kg·d),分3次口
儿童社区获得性肺炎是儿童的常见病,也是婴幼儿期死亡的重要原因.社区获得性肺炎主要为细菌、非典型病原体及病毒感染所致[1].临床实践表明,单用或联合应用抗生素疗效越来越
血液透析是治疗急慢性肾衰竭的有效替代疗法之一.伴随生命延续的同时,患者可能受疾病本身.透析合并症以及家庭社会的影响,产生各种心理问题.据有关资料统计,我国血液透析患者
目的 探讨脑部疾病患者中并发高钠血症的危险因素,为早期干预提供依据.方法 对连续入院的脑部疾病患者382例的临床资料进行回顾性分析.患者入院后1 h内采用离子电极法测量血
目的分析门诊退药处方特点,减少门诊退药。方法统计门诊2008年退药处方230张,按退药率,退药科室,药物剂型,药物种类,退药原因进行分类。结果儿科退药多,注射剂退药多,抗菌药
模型控制轧制技术在炉卷轧机生产线上的应用,提高钢的焊接性能,同时韧性和强度也相应的得到提高,产品成本得到有效控制,进一步提高了轧制的成材率。
The application of the