【摘 要】
：
伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执
论文部分内容阅读
伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执行的功能来统计覆盖率,很难侦测到DUT内部的工作状态,存在对功能＂遗漏点＂的侦测.基于断言的验证方法可以将断言加入到DUT内部,通过断言覆盖加强覆盖率检测.阐述了将断言和覆盖率为导向相结合的验证方法,并用此种方法对USB2.0系统进行了验证.讨论了如何将两种验证方法有效地结合,并且通过比较覆盖率为导向的验证方法与结合断言与覆盖率为导向的验证方
其他文献
从北京六建商品混凝土公司传来令人振奋的捷报 ,今年 1月 1日至 11月 2 5日该公司已经累计向北京市建筑市场提供各种商品混凝土百万立方米 ,创产值 32 10 0万元 ,提前实现了
介绍了CJK6125数控车床主轴部件的主要参数、结构分析、结构改进.
【目的】提取‘海沃德’猕猴桃的品质特征,建立其应力松弛特性参数与其品质特征的关系,探索一种利用力学特性快速预测猕猴桃品质特征的方法。【方法】测定不同贮藏时期猕猴桃
<正>为推动城乡统筹就业,北京市劳动和社会保障局日前公布了《鼓励用人单位招用本市农村就业困难人员的岗位补贴和社会保险补贴办法》。今后,北京市行政区域内的企业、民办非
社会责任是每个公民都需要承当的任务,而对于央企来说,其自身所承担的社会责任要远大于一般企业,并且其社会责任的履行与社会的和谐稳定以及发展有着紧密关联。因而,在实际工
综述了稻谷吸湿产生裂纹方面的研究进展。概述了稻谷产生裂纹的原因 ,吸湿产生裂纹的影响因素 ,产生裂纹的机理 ,裂纹产生的起始点以及减少裂纹的措施
丘陵油田是华北石油设计院在新疆吐哈设计的一个百万吨级整装油田，产能为１４０×１０＾４ｔ／ａ。该油田地处荒漠戈壁，东南部毗邻鄯善油田，地势北高南低，所在地属温带大陆性气候。联合站采用优化
目的探讨不同程度宫腔粘连患者术后妊娠情况,并对其相关影响因素进行分析。方法选取本院2015年1月~2017年1月收治的中重度宫腔粘连患者153例作为研究对象,所有患者均行宫腔镜
目的对某食品安全研发项目职业病危害控制效果进行评价,为卫生行政部门审批建设项目提供依据。方法采用职业卫生现场调查结合职业病危害因素检测检验进行评价。结果现场检测
球类运动项目都存在着共性的东西，即球性和球感．所谓的球性是指球的运动性能，即球在运动中的运行、旋转、飘晃、上升、下降等轨迹（指球）．球感是指人的感受器触球以后，通过神经中枢的