基于覆盖率驱动的高频RFID芯片验证平台设计

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