一种解决SoC总线功能验证完备性的技术

news2025/2/8 6:18:37

1. 前言

通过总线将各个IP通过总线连接起来的SoC芯片是未来的大趋势,也是缩短芯片开发周期,抢先进入市场的常用方法。如何确保各个IP是否正确连接到总线上,而且各IP的地址空间分配是否正确,是一件很棘手的事情。本文提出了一种新方法,可以解决SoC总线验证的诸多困难,既简单又快速地完成SoC总线功能验证。

2. SoC总线功能验证难点

在SoC芯片开发过程中,SoC总线功能验证是确保各IP能否顺畅互动的关键,可以把每个IP比较一座座房子,总线就是房子和房子之间的路,路没修好或者修错了,房子建得再稳固再漂亮都没有什么用。以往的SoC总线面临诸多困难,导致TB代码又长又难以继承复用。主要的困难点有:

  • 总线的地址空间(memory map)频繁改动,TB需要实时适配;
  • 需要定义和维护大量的宏;
  • 不方便遍历整个地址空间的全部各区间;
  • 区间和区间之间的从属关系在TB中很难反应出来;
  • 激励完备性难以保证,只能挑选一些典型的场景和区间去测试;

3. 解决方案

本文提出的一种SoC总线功能验证方法完美解决了上述问题,非常使用,而且在真实项目中也实践过了。它有以下优点:

  • 减少TB代码修改;
  • 无需大量宏定义;
  • 方便使用;
  • 确保完备性;
  • 可复用性强;

第2节的困难点主要是因为总线的memory map区间划分数量繁多和变化频繁引起的,因此解决方法的思路也是从memory map映射到TB的格式入手。好的TB memory map格式可以起到事半功倍的效果,思路请看下文。

3.1 文件准备

假设有以下一个用Excel表示的简单总线memory map表格,它有三级,表1为全部的地址空间大小,表2为表1中IO区间的更小粒度划分区间(Region),表3为表2中SYS区间的更小粒度划分区间。

图1 Memory map在Excel中呈现的形式

Memory map表格的呈现形式具体可以和Designer讨论确定一种形式就好了,不一定要按上面的罗列的形式。

有了这个Excel表格的话,我们就可以写个脚本把每个区间的信息提取处理,包括区间的名字(Region name),起始地址(Start Address)和终止地址(End Address),以及区间和区间之间的所属关系等,比如表2中的TPIU/UART/…/SYS是IO区间的子区间,而表3的EWM/PLL/SDIO/BOOT是表2的子区间。

提取了这些信息有什么用呢?我们可以把每个区间或子区间都看作是一个SystemVerilog中的类(class)。如下图所示,这个类(Class: region)应包含了以下基本属性和方法。

图2 memory map转换成class表示的形式

Region class包含起止地址(start_addr, end_addr)和下一个子region(sub_region)的连接信息,如果一个区间没有再细分子区间,那么sub_region队列的大小为0。反之则不为0,比如图1中表1的IO区间下有5个子区间,那么IO类的sub_regions的大小将为5。然后IO区间下面的SYS子区间有更细分为4个子区间,那么SYS类的sub_regions的大小将为4。以此类推,层层嵌套。再比如表1的ROM区间没有被细分,那么ROM类的sub_regions的大小将为0。很简单,是吧。

每个紫色方框可以代表是图1中表1 Main region的一个区间,这样的话,会有5个紫色方框,map[enum]中的enum是表示enum类型,它的值是表1区间名的集合。

按以上方式形式的一个类似于金字塔的结果,最上面的是主区间,然后一层层往下细分为更新的区间,上级的区间拥有下一级区间的class句柄链接。而且所有区间都是使用region class来实现的,很方便TB通过嵌套方式来使用memory map。

另外既然memory map的每个区间都抽象为类了,那么SystemVerilog的所有语法可以用于操控它了,比如可以在start_addr和end_addr之间生成任意的地址访问。而且TB可以在class里实现诸多使用的方法(task, function)去处理数据,大大减少了重复代码。

另外通过将Excel的内容全部抽取转换为TB格式的mem_map类,TB可以逐级遍历去测试每个区间,再也不用担心漏了哪些地址区间没测了,也不怕RTL频繁改动。

当然,有一个小难点就是需要将Excel转换为图2形式的mem_map,这个我就不多讲了,脚本大家可以自己写,而且根据这个思路,可以实现很多有意思的功能,亲测实用。

3.2 效果展示

使用脚本把图1的Excel内容转成TB代码的参考代码如下:

// ==================================================================
// Main region: ROM
// ==================================================================
main[ROM] = region::type_id::create("ROM");
main[ROM].start_addr  = 'h8A0000000;
main[ROM].end_addr    = 'h99FFFFFFF;

// ==================================================================
// Main region: DDR
// ==================================================================
main[DDR] = region::type_id::create("DDR");
main[DDR].start_addr  = 'h120000000;
main[DDR].end_addr    = 'h89FFFFFFF;

// ==================================================================
// Main region: RESERVED_A
// ==================================================================
main[RESERVED_A] = region::type_id::create("RESERVED_A");
main[RESERVED_A].start_addr  = 'h41000000;
main[RESERVED_A].end_addr    = 'h11FFFFFFF;

// ==================================================================
// Main region: USB
// ==================================================================
main[USB] = region::type_id::create("USB");
main[USB].start_addr  = 'h40000000;
main[USB].end_addr    = 'h040FFFFFF;

// ==================================================================
// Main region: IO
// ==================================================================
main[IO] = region::type_id::create("IO");
main[IO].start_addr  = 'h0;
main[IO].end_addr    = 'h03FFFFFFF;
// Sub: TPIU  (IO -> TPIU)
sub_rgn = region::type_id::create("TPIU");
sub_rgn.start_addr  = 'h3D000000;
sub_rgn.end_addr    = 'h3FFFFFFF;
main[IO].sub_rgn.push_back(sub_rgn);
// Sub: UART  (IO -> UART)
sub_rgn = region::type_id::create("UART");
sub_rgn.start_addr  = 'h3C000000;
sub_rgn.end_addr    = 'h3CFFFFFF;
main[IO].sub_rgn.push_back(sub_rgn);
// Sub: GPU_REGISTER  (IO -> GPU_REGISTER)
sub_rgn = region::type_id::create("GPU_REGISTER");
sub_rgn.start_addr  = 'h3B000000;
sub_rgn.end_addr    = 'h3BFFFFFF;
main[IO].sub_rgn.push_back(sub_rgn);
// Sub: DMC_REGISTER  (IO -> DMC_REGISTER)
sub_rgn = region::type_id::create("DMC_REGISTER");
sub_rgn.start_addr  = 'h30000000;
sub_rgn.end_addr    = 'h3AFFFFFF;
main[IO].sub_rgn.push_back(sub_rgn);
// Sub: SYS  (IO -> SYS)
sub_rgn = region::type_id::create("SYS");
sub_rgn.start_addr  = 'h0;
sub_rgn.end_addr    = 'h2FFFFFFF;
main[IO].sub_rgn.push_back(sub_rgn);
// SubSub: EWM  (IO -> SYS -> EWM)
sub_rgn = region::type_id::create("EWM");
sub_rgn.start_addr  = 'h25000000;
sub_rgn.end_addr    = 'h2FFFFFFF;
main[IO].sub_rgn[$].sub_rgn.push_back(sub_rgn);
// SubSub: PLL  (IO -> SYS -> PLL)
sub_rgn = region::type_id::create("PLL");
sub_rgn.start_addr  = 'h21000000;
sub_rgn.end_addr    = 'h24FFFFFF;
main[IO].sub_rgn[$].sub_rgn.push_back(sub_rgn);
// SubSub: SDIO  (IO -> SYS -> SDIO)
sub_rgn = region::type_id::create("SDIO");
sub_rgn.start_addr  = 'h200000;
sub_rgn.end_addr    = 'h20FFFFFF;
main[IO].sub_rgn[$].sub_rgn.push_back(sub_rgn);
// SubSub: BOOT  (IO -> SYS -> BOOT)
sub_rgn = region::type_id::create("BOOT");
sub_rgn.start_addr  = 'h0;
sub_rgn.end_addr    = 'h001FFFFF;
main[IO].sub_rgn[$].sub_rgn.push_back(sub_rgn);

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2294642.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【Linux系统】线程:线程库 / 线程栈 / 线程库源码阅读学习

一、线程库 1、线程库介绍:命名与设计 命名:线程库通常根据其实现目的和平台特性进行命名。例如,POSIX标准定义了Pthreads(POSIX Threads),这是一个广泛使用的线程库规范,适用于多种操作系统。此…

深度剖析 Redis:缓存穿透、击穿与雪崩问题及实战解决方案

一、缓存基本使用逻辑 在应用程序中,为了提高数据访问效率,常常会使用缓存。一般的缓存使用逻辑是:根据 key 去 Redis 查询是否有数据,如果命中就直接返回缓存中的数据;如果缓存不存在,则查询数据库&#…

如何使用el-table的多选框

对el-table再次封装,使得功能更加强大! 本人在使用el-table时,因为用到分页,导致上一页勾选的数据在再次返回时,没有选中,故在原有el-table组件的基础之上再次进行了封装。 1.首先让某些不需要勾选的列表进…

【工具变量】上市公司企业渐进式创新程度及渐进式创新锁定数据(1991-2023年)

测算方式: 参考顶刊《经济研究》孙雅慧(2024)老师的做法,用当期创新和往期创新的内容重叠度作为衡量渐进式创新程度的合理指标。通过搜集海量专利摘要,测算当前专利申请和既有专利的内容相似度,反映企业在…

LM Studio 部署本地大语言模型

一、下载安装 1.搜索:lm studio LM Studio - Discover, download, and run local LLMs 2.下载 3.安装 4.更改成中文 二、下载模型(软件内下载) 1.选择使用代理,否则无法下载 2.更改模型下载目录 默认下载位置 C:\Users\用户名\.lmstudio\models 3.搜…

嵌入式工程师面试经验分享与案例解析

嵌入式工程师岗位受到众多求职者的关注。面试流程严格,技术要求全面,涵盖C/C编程、数据结构与算法、操作系统、嵌入式系统开发、硬件驱动等多个方向。本文将结合真实案例,深入剖析嵌入式工程师的面试流程、常见问题及应对策略,帮助…

英特尔至强服务器CPU销量创14年新低,AMD取得进展

过去几年是英特尔56年历史上最艰难的时期之一。该公司在晶圆代工、消费级处理器和服务器芯片等各个领域都面临困境。随着英特尔重组其晶圆代工业务,新的分析显示其服务器业务的现状和未来前景不容乐观。 英特尔最近发布的10-K文件显示:“数据中心和人工…

判断您的Mac当前使用的是Zsh还是Bash:echo $SHELL、echo $0

要判断您的Mac当前使用的是Zsh还是Bash,可以使用以下方法: 查看默认Shell: 打开“终端”应用程序,然后输入以下命令: echo $SHELL这将显示当前默认使用的Shell。例如,如果输出是/bin/zsh,则说明您使用的是Z…

使用Springboot实现MQTT通信

目录 一、MQ协议 MQTT 特点 MQTT 工作原理 MQTT 主要应用场景 MQTT 配置与注意事项 二、MQTT服务器搭建 三、参考案例 MQTT(Message Queuing Telemetry Transport)是一种基于发布/订阅模型的轻量级消息传输协议,常用于物联网&#xff…

植物大战僵尸融合版(电脑/安卓)

《植物大战僵尸融合版》是一款由B站UP主“蓝飘飘fly”制作的同人策略塔防游戏,基于经典《植物大战僵尸》玩法,加入了独特的植物融合系统。 出于方便,软件是便携版,解压后双击即可畅玩。 游戏主页依旧是植物大战僵尸经典界面。右下…

02DevOps基础环境准备

准备两台Linux的操作系统,最简单的方式就是在本机上使用虚拟机搭建两个操作系统(实际生产环境是两台服务器,虚拟机的方式用于学习使用) 我搭建的两台服务器的ip分别是192.168.1.10、192.168.1.11 192.168.1.10服务器用于安装doc…

苍穹外卖-day12(工作台、数据导出)

工作台Apache POI导出运营数据Excel报表 功能实现:工作台、数据导出 工作台效果图: 数据导出效果图: 在数据统计页面点击数据导出:生成Excel报表 1. 工作台 1.1 需求分析和设计 1.1.1 产品原型 工作台是系统运营的数据看板&…

详解享元模式

引言 在计算机中,内存是非常宝贵的资源,而程序中可能会有大量相似或相同的对象,它们的存在浪费了许多空间。而享元模式通过共享这些对象,从而解决这种问题的。 1.概念 享元模式(Flyweight Pattern):运用共享技术有效地…

openEuler22.03LTS系统升级docker至26.1.4以支持启用ip6tables功能

本文记录了openEuler22.03LTS将docker升级由18.09.0升级至26.1.4的过程(当前docker最新版本为27.5.1,生产环境为保障稳定性,选择升级到上一个大版本26的最新小版本)。 一、现有环境 1、系统版本 [rootlocalhost opt]# cat /etc…

< OS 有关 > Ubuntu 版本升级 实践 24.04 -> 24.10, 安装 .NET

原因: 想安装 .NET 9 去编译 GitHut 项目,这回用不熟悉的 Ubuntu来做,不知道怎么拐去给 Ubuntu 升级,看到现在版本是 24.10 但不是 LTS 版本,记录下升级过程。 一、实践过程: 1. 查看当前版本 命令1: l…

某咨询大数据解决方案介绍(32页PPT)

本文档介绍了一个大数据平台解决方案,旨在解决企业当前面临的数据问题,包括数据定义缺失、重复采集和存储、数据不完整以及缺乏可靠决策依据等。通过引入大数据技术,该方案强调从被动的IT支撑向主动的数据核心服务转型,以实现科学…

matlab simulink 汽车四分之一模型主动被动悬架-LQR

1、内容简介 略 matlab simulink 可以交流、咨询、答疑 124- 2、内容说明 略汽车悬架系统由弹性元件、导向元件和减振器组成,是车身与车轴之间连接的所有组合体零件的总称,也是车架(或承载式车身)与车桥(或车轮)之间一切力传递装置的总称,其主要功能是使车轮与地面有很好的…

从零开始:OpenCV 图像处理快速入门教程

文章大纲 第1章 OpenCV 概述 1.1 OpenCV的模块与功能  1.2 OpenCV的发展 1.3 OpenCV的应用 第2章 基本数据类型 2.1 cv::Vec类 2.2 cv::Point类 2.3 cv::Rng类 2.4 cv::Size类 2.5 cv:&…

强化学习笔记6——异同策略、AC、等其他模型总结

异步两种方法:1:经验回放 2:数据动作非同时产生 举例QLearning为什么是异策略? 生成动作时e的概率从Q表选,1-e概况随机。 更新策略时,贪心策略选择Q_max作为动作。 策略优化两种主要方法:基于梯…

Linux提权--passwd提权

passwd​ 命令用于更改用户密码。在 Linux 系统中,普通用户可以通过 passwd​ 更改自己的密码,但如果攻击者能够以某种方式执行 passwd​ 命令更改 root 用户的密码,他们就能获取 root 权限。 1.常见的 passwd 提权方法 SUID 设置&#xff1…