AMBA4 SystemVerilog Asseration验证-德赢Vwin官网网

AMBA4 SystemVerilog Asseration验证

ARM所推出的AMBA4总线相对来讲还是应用广泛的。无论是芯片设计里还是FPGA设计里，时常能见到AMBA4总线的身影。在验证领域，SystemVerilog Asseration还是一个很常见的验证手段。在Xilinx Vivado中有提供AMBA总线相关的Checker VIP,其内部也是采用的SystemVerilog Asseration来实现。今天给大家推荐下ARM自家所推出的BP063 AMBA4 SVA组件。

》使用

下载下来后文件夹里包含了sva文件和docs资料：

详细的使用教程可以参照文件夹里面的BP063-RLNC-000313.pdf,这里就不在照本宣科的给从头到尾讲了，文档中已详细说明了如何使用及各种参数的配置。

》One More Thing

参照文档基本可以保证能够正常使用。对于SVA而言，其本质无非是通过各种规则进行检查，若不符合情况则根据错误等级进行报错。在ARM AMBA4 SVA里面，出错后的错误等级分为了$error和$warning两种：

在仿真器执行时，对于$warning其只是打印信息，并不会影响仿真器继续向下执行。如果对于一些规则检测，如果你觉得使用$warning并不符合需要，则可以手动对源代码进行修改。例如下面对于ready超时的检测：

这里当仿真时不符合设计预期时会通过`ARM_AMBA4_PC_MSG_WARN来进行$warning报警，如果需要出错时仿真立即停下来那么则可以将其替换更改为`ARM_AMBA4_PC_MSG_ERR。

审核编辑：刘清

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表德赢Vwin官网网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。举报投诉

ARM

ARM

+关注

关注
134

文章
9084

浏览量
367373
FPGA设计

FPGA设计

+关注

关注
9

文章
428

浏览量
26506
AMBA总线

AMBA总线

+关注

关注
0

文章
35

浏览量
9541
SVA

SVA

+关注

关注
1

文章
19

浏览量
10127

原文标题：验证必备：AMBA4 SystemVerilog Asseration

文章出处：【微信号：Spinal FPGA，微信公众号：Spinal FPGA】欢迎添加关注！文章转载请注明出处。

SystemVerilog 的VMM验证方法学教程教材

SystemVerilog 的VMM 验证方法学教程教材包含大量经典的VMM源代码，可以实际操作练习的例子，更是ic从业人员的绝佳学习资料。SystemVerilog 的VMM 验证方

发表于 01-11 11:21

什么是AMBA APB4与AMBA3 AHB-Lite1.0协议

本文我们简单对AMBA4中的APBv2.0（也称为APB4），以及AMBA3AHB-Litev1.0进行简单的了解。

发表于 04-02 06:30

在Arm AMBA协议集中AHB-lite可否使用

Arm AMBA协议集中，LPI 在AMBA4 出现，协议和链路层与 AXI/AHB 无关独立的吗？ AHB-lite 可否使用?

发表于 09-08 11:35

AMBA 4 ACE和ACE Lite协议校验器用户指南

本书是为系统设计者、系统集成商和验证工程师编写的，他们希望确认设计符合相关AMBA4协议。这可以是ACE或ACE Lite

发表于 08-10 07:01

分层验证法在基于AMBA系统中的应用

分层验证法在基于AMBA系统中的应用在基于AMBA(Advanced Microcontroller Bus Architecture，先进的微控制器总线体系结构)的系统中，用户设计的模块和第三方IP模块与

发表于 03-28 17:05 •773次阅读

基于SystemVerilog语言的验证方法学介绍

文章主要介绍《VMM for SystemVerilog》一书描述的如何利用SystemVerilog语言，采用验证方法学以及验证库开发出先进验证

发表于 05-09 15:22 •52次下载

Cadence验证IP为ARM AMBA 4协议大幅缩短验证周转时间

电子设计创新企业Cadence设计系统公司，今天宣布使用ARM AMBA协议类型的Cadence验证IP（VIP）实现多个成功验证项目，这是业界最广泛使用的AMBA协议系列

发表于 11-07 08:21 •1110次阅读

SystemVerilog的正式验证和混合验证

手册的这一部分探讨了使用SystemVerilog进行验证，然后查看了使用SystemVerilog的优点和缺点。

发表于 03-29 10:32 •24次下载

4-AMBA VIP 编程接口

关于我：2020届双非学校材料专业毕业，现在已转行芯片验证，入职两个月。最近MCU项目在用Synopsys公司的VIP，正好自己在看AMBA的VIP，就整理一下：4-介绍AMBA Sy

发表于 12-08 16:21 •10次下载

利用Systemverilog+UVM搭建soc验证环境

利用Systemverilog+UVM搭建soc验证环境

发表于 08-08 14:35 •5次下载

IEEE SystemVerilog标准:统一的硬件设计规范和验证语言

IEEE SystemVerilog标准:统一的硬件设计规范和验证语言

发表于 08-25 15:52 •1次下载

验证必备：AMBA4 SystemVerilog Asseration

ARM所推出的AMBA4总线相对来讲还是应用广泛的。无论是芯片设计里还是FPGA设计里，时常能见到AMBA4总线的身影。

发表于 05-24 15:08 •736次阅读

如何验证AMBA系统级环境

为了使 SOC 验证工程师能够创建高度可配置的 AMBA 结构，系统环境应提供占位符，用于将 DUT 与任何典型的 AMBA VIP 组件（如 AXI3/4/ACE、AHB 或 APB

发表于 05-29 09:33 •715次阅读

AMBA4—无聊的Narrow transfers介绍

AMBA总线无论FPGA还是ASIC，应该都是比较常用的一组总线协议。

发表于 06-11 10:22 •1031次阅读

AMBA4—“无聊的”Narrow transfers

AMBA总线无论FPGA还是ASIC，应该都是比较常用的一组总线协议。对于其中的协议，有一种传输格式叫Narrow Transfers，颇有些“无聊”～

发表于 06-30 17:21 •767次阅读