基于UVM的IIC总线设计与验证

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:hechangying1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
21世纪以来,全球集成电路产业发生着重大变革,各种新兴技术推动芯片向着尺寸更小,规模更大的方向发展。验证是保证芯片功能正确实现的关键防线,验证工作也在实际芯片项目周期中占据了大量时间,提升验证效率对降低芯片成本具有重大意义。UVM(Universal Verification Methodology)在特殊的时代背景下诞生,采纳了多种先进验证思想和方法,在众多验证方法学中脱颖而出,已经成为当前业界主流验证方法之一。此外,鉴于通用串行总线IIC(Inter-Integrated Circuit)双向双线的简单结构、独特的数据传输模式以及它在片上系统中的广泛使用,本文选用IIC总线接口作为设计对象,基于UVM方法学对其验证平台的实现与优化进行了重点研究。在设计方面,本文首先深入分析了IIC的总线结构、接口协议及传输格式,完成了电路整体结构设计和子模块功能划分,设计出各模块状态机并利用Verilog语言实现了RTL代码编写。在验证方面,验证环境搭建之前,首先根据待测设计特点制定了验证计划,共提取出19个验证功能点。在规划好验证平台整体架构后,采用System Verilog语言,分层次地对所有验证组件进行了建模和连接,最终搭建出一个支持多主机操作场景的随机化高效验证平台,还设计执行了一系列测试序列和9条测试用例对待测设计进行了多场景、全方面的仿真验证。本文还结合了断言验证的优势,在现有验证平台的基础上开发了一系列基于属性的断言,通过断言检查器对设计中时序相关的功能点及状态机的跳转进行了补充验证,保证了验证的完备性。针对传统寄存器的验证方案提出了一些优化策略,根据不同的故障类型划分了寄存器复位值检查、访问方式检查、位粘连性检查和随机检查四个部分,对每个部分的验证思路和优化方法进行了分析,设计了相应的测试序列,最后针对待测设计的内部寄存器编写了相应的测试用例,并进行仿真验证和覆盖率收集。本文所有的仿真均采用Synopsis的VCS工具进行。仿真结束后,从仿真报告、重点波形和覆盖率数据三个维度对验证结果进行了简要分析。在寄存器验证和基本测试用例通过后,针对未覆盖点,采用回归测试和增加测试用例等方法进行改善,最终使收集到的代码覆盖率、功能覆盖率及断言覆盖率均达到100%,完成了验证计划所制定的目标,实现了寄存器验证的优化,验证趋于收敛。
其他文献
RIG-I-MAVS介导的抗病毒天然免疫反应,对于机体抵御病原体入侵发挥了非常重要的作用。RIG-I识别胞质中的RNA后,从自抑制状态转变为激活状态。这种状态的转变除了需要可识别的RNA,还需要哪些蛋白因子一直是领域内研究的热点。已有研究主要集中在宿主或病原体蛋白通过相互作用或者翻译后修饰对RIG-I活性的调节,其中有关RIG-I泛素化修饰激活的研究结果一直存在争议。我们实验室之前的工作揭示在人源
本文研究了高维Camassa-Holm方程组柯西问题的解在Sobolev空间中对初值的非一致连续依赖.受到Hilmonas在文章[24,26]中的启发,我们利用高维Cammasa-Holm方程组的结构,构造一组近似解列uω,n,满足:(?)tuω,n+uω,n·▽uω,n=P(uω,n,uω,n)+Eω,n+Fω,n.然后将近似解与相应初值对应的实际解做差得到v:=vω,n=uω,n,uω,n满足
作为高等教育的主阵地和人才培养的摇篮,高职院校的发展需要通过合理规划制定科学的人才培养方案。食品安全是学生健康发展的根本。因此,很多高校开设了食品质量与安全专业教学课程。由孙志河、刘绍军、赵宝柱主编、高等教育出版社出版的《食品质量与安全专业教学法》一书,立足当前食品质量与安全专业的教学立场,以食品质量和安全为研究切入点,对当前食品质量与安全专业教学的方式方法进行了系统的阐述,并从实践的角度对
期刊
弱解的正则性理论是近代偏微分方程领域的重点和难点问题,其研究历史悠久.自从L.H(?)rmander发表关于亚椭圆性的奠基工作以来,由非交换向量场构成的次椭圆方程(组)弱解的正则性研究成为偏微分方程研究的热点之一.本文考虑Heisenberg群上具有不同结构系数的非线性次椭圆抛物方程组在可控增长条件和自然增长条件下弱解的正则性,包括Dini连续系数和VMO不连续系数.本文具体内容如下:第1章主要介
重视轮廓线是意大利文艺复兴时期绘画最为明显的特点,其以真实和科学性作为标准,让观赏者可以更明确地抓取到物象,进而辨别绘画是否如实地再现自然,其目的是通过科学理性解放被宗教压制的人性。然而,因为宗教的教化,绘画创作的固定性依然使艺术家的创造力被压制。在这种理性的压抑下,一些艺术家突破轮廓线运用的标准,让线条的独立性和轮廓线造型的想象力得到了凸显,这是想象力和规则之间的角逐。
新能源并网逆变控制技术的快速发展推动着电力电子技术的发展。大量电力电子设备接入电网,这严重挑战了电力系统的稳定性。由于电力电子器件影响电力系统的性能,针对该影响,设计电力电子控制策略具有重要意义。为解决该问题,本文提出了一种开关序列控制方法,与PWM(Pulse Width Modulation,脉冲宽度调制)和MPC(Model Predictive Control,模型预测控制)方法不同,该方
近年来,我国汽车行业和机械制造业发展迅速,对结构钢的需求量大幅增加。为响应“中国制造2025”规划中明确要求的材料高强、轻量化的号召,钢铁企业在钢铁冶炼过程中采用向钢中加入微合金元素的方式来增加钢材的强度,然而这同时也大大增加了钢材的机械加工难度,因此为满足钢材的加工性能,钢铁企业向部分钢中加入适量的硫元素以改善钢材切削和加工性能,但在含硫钢铸坯生产时易发生表面裂纹,这不仅严重影响了生产节奏,增加
学位
本文主要涉及仲裁和人工智能的探讨,并对从仲裁到"机器人仲裁"以及从人类仲裁员到机器人仲裁员的发展提出质疑。除了界定人工智能外,作者着重探讨了人工智能在一般法律实践和具体仲裁实践中的应用可能性。尽管人工智能在处理必要的准备工作时可以发挥前所未有的重要作用,但是作者仍然认为法官(抑或是本文涉及的仲裁员)即使在简单的案件中也是不能被机器人所取代的。作者还认为争议案件很少能被预先定性为"简单",例如对缺席
近年来,随着移动通信的快速发展,第五代移动通信系统(5G)已经逐渐成为学术领域和商用领域的焦点。5G通信的发展主要包括两个驱动因素,一方面是第四代移动通信系统4G已经得到全面的商用,并且人们对下一代新兴技术产品具备强烈的需求;另一方面,随着社会信息化的发展,数据的需求量越来越大,4G移动通信很难去达到未来信息化社会的要求,所以需要加快研发下一代5G通信系统。同时5G通信的发展也离不开射频微波电路的