文章目录

《Assertion-Based Verification -- Introduction to OVL》阅读笔记
- 1、ovl 模块使用率
- 2、几种典型的 ovl 模块示例
- - 逻辑互斥（Mutually exclusive）
  - 相同(隐含推断）逻辑
  - 只有小于等于1bit active，与 SVA function $onehot0 相似
  - 与 SVA a |-> ##n c, (for n >0, default n=1)
  - 在 start_event 和 end_event之间，test_expr 不变
- 3、ovl 特点
- 4、OVL 的使用

《Assertion-Based Verification – Introduction to OVL》阅读笔记

OVL：Open Verificationi Library : 将 systemVerilog Assertions 集成成单元，在verilog 中直接调用，减少了自己编写可能出现的错误

1、ovl 模块使用率

2、几种典型的 ovl 模块示例

逻辑互斥（Mutually exclusive）

 ovl_always mutex(clk, rst_n, !(grant0 & grants));       // grant0 和 grant1 必须逻辑互斥（Mutually exclusive）

相同(隐含推断）逻辑

ovl_implication u1(clk, rst_n, start, go);           // start 推断出go

只有小于等于1bit active，与 SVA function $onehot0 相似

ovl_zero_one_hot #('OVL_ERROR,2) mutex(clk, rst_n, {grant0, grant1});   // grant0 和 grant1 不会同时为1

与 SVA a |-> ##n c, (for n >0, default n=1)

ovl_next awvalid (clk, rst_n, (awvalid & ~awready), awvalid);   // awvalid & ~awready 后的下一个周期（这里n=1),awvalid 必为有效；否则报错
ovl_next wvalid ( clk ,rst_n, (wvalid & ~wready), wvalid);       // wvalid & ~wready 后的下一个周期（这里n=1),wvalid 必为有效，否则报错

在 start_event 和 end_event之间，test_expr 不变

ovl_win_unchange #(0,8) u1(clk ,rst_n, we, addr, done);      # addr[7:0], 0bit开始，总共8bit；start_event 为 we，end_event 为 done，二者之间时 addr 不变

3、ovl 特点

OVL 被 Design Engineers 所喜欢
对于验证工程师：

高级 Assertions：集中于需求；黑盒 assertions
计入测试计划
规范的可追溯性
创建可复用的 ABV IP

对于设计工程师

低级 Assertions: 集中于实现；白盒 assertions
不计入测试计划
提升可观测性
减少debug时间

4、OVL 的使用

1、OVL 语言参考手册：

2、快速手册

3、assertion datasheet

4、参考书籍：

Assertion-Based Verification01-----Introduction to OVL相关推荐

Trunk Based Development介绍——TBD Workflow（一）
前言在介绍TBD Worflow的部署之前,我们先来看一下什么是TBD,以下文章参考 Trunk Based Development: Introduction 简介 TBD准确的说不是一种&quo ...
RTL设计推荐的各步骤推荐工具适合VHDL verilog
初学EDA时候,大家都在找工具而烦恼,有些工具不是没有license 就是不会设置,要不就是不会用,还担心这个以后有人用么? 所以,我通过自己的体会,推荐大家给大家一个学习时候的流程,和一个业界用流程 ...
SystemVerilog与功能验证
目录一.功能验证流程二.验证手段.验证技术.验证方法学三.数据类型与编程结构四.并发进程与进程同步五.面向对象编程六.虚接口七.随机测试八.继承与多态九.功能覆盖率十.断言一.功 ...
2 Robotics: Computational Motion Planning 第2+3+4周课后习题解答
Computational Motion Planning 第2+3+4周 2 Robotics: Computational Motion Planning WEEK - 2 Quiz Config ...
Marvell校招新增数字后端工程师岗位
Marvell招聘IC工程师全球领先的芯片设计厂商Marvell开启校园招聘啦~ 新增数字后端工程师岗位(成都) 需要内推的童鞋可以发送简历到邮箱taozhang3260@163.com 咨询:微 ...
内推贴 || Marvell 2021校园招聘火热开启
Marvell招聘IC工程师全球领先的芯片设计厂商Marvell开启校园招聘啦~ 大量前端,DFT, 验证等岗位需要内推的童鞋可以发送简历到邮箱taozhang3260@163.com 咨询:微 ...
常用集成电路名词缩写汇总(第二版)
重要说明整个集成电路的设计和生产链路很长,相关专有名称很多; 本文对常见的集成电路相关的名词缩写进行了汇总,特别聚焦与集成电路设计领域,意在整理常用的数字电路/DC/PT/ICC/DFV/DFT/R ...
[2019 ICRA] Uncertain-Aware Path Planning for Navigation on Road Networks Using Argumented MDPs
文章目录 Introduction Environment AMDP based planning Introduction 这篇paper的motivation就是planning algorith ...
如何通过设计验证让SoC芯片流片成功
原文并没有介绍后仿.即netlist的presim/postsim(presim是未经过后端布局布线的netlist,sdf文件由PrimeTime产生:postsim是经过后端布局布线的netlis ...

Assertion-Based Verification01-----Introduction to OVL

文章目录

《Assertion-Based Verification – Introduction to OVL》阅读笔记

1、ovl 模块使用率

2、几种典型的 ovl 模块示例

逻辑互斥（Mutually exclusive）

相同(隐含推断）逻辑

只有小于等于1bit active，与 SVA function $onehot0 相似

与 SVA a |-> ##n c, (for n >0, default n=1)

在 start_event 和 end_event之间，test_expr 不变

3、ovl 特点

4、OVL 的使用

Assertion-Based Verification01-----Introduction to OVL相关推荐

最新文章

热门文章