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。
前端大仓monorepo权限设计思路和实现方案
什么是过载保护以及过载保护的类型
华为完成全球首个5G R17 RedCap基站与芯片关键技术测试
实施智能无人叉车项目时这七大事项需注意
变频器自动转差补偿功能参数的设置原则
验证必备:AMBA4 SystemVerilog Asseration
国产手机争相抢占5G市场 分析师表示华为有望2020年5G手机出货量超1亿部
什么是PN结的导通电压?
GB/T 1962.1鲁尔圆锥接头多功能测试仪的性能指标
大型风力发电机组变频测量难点
华为MataBook怎么样?继承了华为手机品牌一贯的精品战略!
ADS编译TC264超级慢
七彩虹发布最小的mini SSD硬盘:性能首次公开
什么样的金融智能化监控比较适合我们
华为携手伙伴共探行业数字化的发展方向和未来机遇
买MP3注意常被忽略的一个重要环节
电力载波项目原理图设计解决方案
土壤养分检测仪的作用是什么,它的功能有哪些
伺服驱动IC适用于各种伺服应用
称重压力传感器概述、特点及应用