【摘 要】
：
提出了一种采用覆盖率驱动激励产生算法的验证技术,设计了一套完整的验证平台,成功地验证了一款高频RFID（射频识别技术）芯片。该技术的核心思想是在验证过程中,通过分析功能覆
【机 构】
：
南通大学江苏省专用集成电路设计重点实验室
论文部分内容阅读
提出了一种采用覆盖率驱动激励产生算法的验证技术,设计了一套完整的验证平台,成功地验证了一款高频RFID（射频识别技术）芯片。该技术的核心思想是在验证过程中,通过分析功能覆盖率和代码覆盖率,得出未覆盖的边界条件,进而修改激励产生的约束条件,产生测试激励,验证边界条件,以有效地提高验证覆盖率。现该验证平台所验证的芯片已经成功流片,且测试性能优异。
其他文献
河北省配套工程是南水北调工程的重要组成部分,是确保江水调得来、用得上的关键环节。配套工程供水对象为县（城）工业、生活用水,大部分输水工程采用管道输水。供水管道能否正常
利用AIS进行雷达标校在军事领域已得到广泛应用。但在标校过程中发现,校后雷达精度很多时候没有得到显著提高。从误差序列处理层面上对影响校后雷达精度的原因进行分析,提出
艺术设计是一门为社会现实需求服务的应用型专业。对高校而言,培养知识功底牢固、实践技能扎实,兼具国际视野的创新型艺术设计专业人才,是提升中国艺术设计在世界艺术之林中
题记：这是国家决定兴建南水北调工程时的一篇闲作，十多年来一直放在办公室的抽屉里，其间也给几位朋友看过，他们提了宝贵的意见并鼓励发表，但深知力有未逮，不敢轻易示人。值此南水北
平山县位于石家庄市西部、太行山东麓，俗有“八山一水一分田”之称。全县辖23个乡镇，717个行政村，总人口47.98万人，总面积2648km2，其中山场面积293万亩，耕地46万亩，水域46万亩。由于
南水北调中线通水在即，迫切需要确定工程运行初期河北省受水区可受纳水量。根据配套工程和受水区用水情况，确定可受纳水量需综合考虑5方面的因素，即供水目标的分配水量、供水目
摘 要：素质教育的根本目的是实现人的全面发展，问题教学法是以问题为基础，以学生为中心，教师为引导，学生自主学习为动力的教学模式，能充分调动学生的积极主动性，在培养学生的问题意识、问题思维的基础上进一步锻炼学生的创新思维能力。 关键词：问题教学；问题思维；创新思维 一、问题教学的概念分析 传统的教学模式在很大程度上束缚了学生思维能力的发展，所培养出来的学生严重缺乏创新意识和创新能力。问题教
某均质土坝最大坝高66.0m。坝顶高程为852m,上游正常蓄水位为848m,下游相应水位798m。大坝横剖面图见图1。坝体内设置水平褥垫排水。坝基岩体上部强风化带厚度为1.0～2.0m,强～弱
随着社会的发展,各行各业都产生了数量巨大的数据,电网企业的大数据具有体量大、类型多和产生数据快[1]的特点,电力大数据的背景要求电网企业加快信息化建设与管理的规范性,
<正>加强基层水利事业单位财务管理工作,规范财务制度,落实水利财务管理要求是基层水利事业单位全面发展的重要举措,关系到国家、省、市水利政策的贯彻落实和水利事业改革的