基于流图状态机模型的思路级验证方法研究

来源 :北京大学 | 被引量 : 0次 | 上传用户:hachu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
芯片研发主要包括芯片设计和验证,验证工作的完成与否将是芯片是否可以流片的重要考量。随着IC设计规模和复杂度的不断增大,如何通过建立验证模型的方式快速有效地完成验证工作,已经成为业界芯片产品研发越来越关心的课题。   针对芯片设计对验证需求的不断提高,本文提出了一种思路级验证方法,并通过引入流图状态机模型对验证思路的记录与分析,实现对验证覆盖率的保证和项目风险的控制。其主要内容是:通过对模型化思路资源的整理与分析,实现对验证工作快速的宏观把握。通过这种不局限于代码级别的验证方法可以提供良好的验证指导与项目管理,从而实现验证工作的高效收敛。   为证实这种基于模型的思路级验证方法,本文介绍了实际软件项目开发中建立的流图与状态机模型并说明其实现效果,最后通过在USB3.0项目中对此验证方法的具体过程实现,确定了本IC验证方法的可行性与高效性。
其他文献
本文以柑橘果实脐橙、蜜橘与西柚为研究对象,研究三种果皮甲醇提取液对铜绿微囊藻的化感作用,比较各自不同极性组分的作用效果,研究脐橙皮提取液五个组分的细胞毒性与脐橙皮提取
学位
光无线通信是一种新型的自由空间光通信方式,它克服了传统光通信和无线通信的缺点,既具有无线通信非视距、灵活机动的特点,又具有光通信高抗扰、低窃听的优点,能满足复杂环境
本文通过对荣华二采区10
期刊
物种识别和种群数量调查是有效开展濒危物种保护与管理工作的基础。食肉目动物是分布较为广泛的一大类群,我国总共有8科37属57种,但种群数量较少。由于食肉目动物生性警觉且喜
基于前后鼻孔位置、腹鳍位置、体被鳞情况、上唇中间缺刻状态、吻长和脊椎骨数目等特征,对中国须鳅属鱼类进行系统的分类整理;并运用多变量形态度量学方法,对辨认的物种197尾标
学位
水分是植物生存、生长的重要前提和保障。木质部内水分的运输或称植物的长距离水分运输是植物水分传输通路中的重要一环,而关于植物长距离水分运输的过程和机理的水力结构研究
LED(Lighting Emitting Diode)具有节能,环保及寿命长的特点。随着LED照明需求不断扩大和照明要求不断提高,大功率高效率的LED照明应用越来越受到重视和青睐。为防止电网“谐波
对广玉兰(Magnolia grandiflora)、香子含笑(Michelia hedyosperma)、三瓣木兰(Magnolia tripetala)和白花除虫菊(Pyrethrum cinerariifolium)四种植物进行内生微生物的分离,
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
在作者过去提出的完全非内插半拉格朗日格式的基础上,针对半拉格朗日格式由于内插带来预报场人为的光滑性问题,进一步发展了这种计算格式,证明了此格式的计算稳定性.为检验这