【摘 要】
:
随着集成电路发展得越来越快,MCU(Micro Control Unit)的复杂性急剧增加,使得对MCU验证变得越来越困难。可重用验证是指对开发者现有验证环境的重用,在缩短验证工作量的基础上,可提高MCU验证的完备性。因此,研究可重用的MCU系统验证平台,对目前功能验证领域具有重要的参考价值和实际意义。本文的验证对象为某款基于RISC-Ⅴ(Reduced Instruction Set Compu
论文部分内容阅读
随着集成电路发展得越来越快,MCU(Micro Control Unit)的复杂性急剧增加,使得对MCU验证变得越来越困难。可重用验证是指对开发者现有验证环境的重用,在缩短验证工作量的基础上,可提高MCU验证的完备性。因此,研究可重用的MCU系统验证平台,对目前功能验证领域具有重要的参考价值和实际意义。本文的验证对象为某款基于RISC-Ⅴ(Reduced Instruction Set Computing V)处理器内核的MCU芯片,以RISC-Ⅴ处理器核内系统以及MCU核外高速总线作为具体研究目标,搭建可重用的系统级验证平台。论文通过分析功能点、施加随机化激励、收集功能覆盖率和报告自检等方式,对RISC-Ⅴ处理器核内功能以及MCU核外总线与IP(Interlectual Proerty)的交互模块实施了较完备的功能验证。本文首先基于覆盖率驱动的验证方法,对RISC-Ⅴ核内激励需求进行分析,构建指令模板,并利用指令生成器设计出约束指令生成平台。接着,基于通用验证方法学,通过遍历处理器支持的所有指令类,来对核内模块进行验证,实现了可配置的随机指令生成平台。此外,为了验证MCU核外总线功能是否正确,采用通用验证方法学,为核外总线系统设计了基于AXI4(Advanced Extensible Interface)总线协议的AXI4通用验证平台。该平台以随机化的通用处理事务作为验证激励,可监视数据输出的关键信息。最后,采用AXI4总线验证平台与IP级模块进行交互,对其功能进行全面的验证,并实现了验证平台的重用。整个验证过程中利用平台监测模块对关键信号进行监测,并与参考模型进行比较,同时利用仿真工具对设计代码进行覆盖率收集与分析,在较短的时间内完成了总线系统的验证工作。结果表明,AXI4总线验证平台所有数据收发均正确,共计2868组数据自动对比成功,运行仿真时间为11.32s,代码覆盖率达到100%。并且重构的I~2C(Inter-Integrated Circuit)和DDR3(Double Data Rate)验证环境均可以正常工作,对其基本功能的测试结果显示是正确且可靠的。此外,通过约束随机指令集函数而设计的RISC-Ⅴ指令生成平台能够独立地自动运行,并且最终各个模块代码覆盖率均达到96%以上,功能覆盖率达到100%,达到了本文的预期目标。
其他文献
本文研究了高维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通信的发展也离不开射频微波电路的
21世纪以来,全球集成电路产业发生着重大变革,各种新兴技术推动芯片向着尺寸更小,规模更大的方向发展。验证是保证芯片功能正确实现的关键防线,验证工作也在实际芯片项目周期中占据了大量时间,提升验证效率对降低芯片成本具有重大意义。UVM(Universal Verification Methodology)在特殊的时代背景下诞生,采纳了多种先进验证思想和方法,在众多验证方法学中脱颖而出,已经成为当前业界