SystemVerilog Assertions应用指南 Chapter1.31 在属性中使用形参

本文主要是介绍SystemVerilog Assertions应用指南 Chapter1.31 在属性中使用形参,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

        可以用定义形参( formal arguments)的方式来重用一些常用的属性。属性“arb”使用了4个形参,并且根据这些形参进行检验。其中还定义了特定的时钟。SVA允许使用属性的形参来定义时钟。这样,属性可以应用在使用不同时钟的相似设计模块中。同样的,时序延迟也可以参数化,这使得属性的定义更具有普遍性
        属性首先检査有效开始。在给定的时钟上升沿,如果在信号"a”的下降沿后的2~5个时钟周期内出现信号“b”的下降沿,那么这就是一个有效开始。如果先行算子匹配,那么属性接着检查信号“c”和信号“d”的下降沿在下一个时钟周期出现,并且确保它们在4个连续的周期都保持为低。接着一个周期后,必须检测到信号“c”和信号“d”都为高,且再过一个时钟周期应该检测到信号“b”为高。
        假定这是处理三个具有相似信号的不同主控设备的仲裁器的协议,可以很容易地重用前面定义的属性来检验所有3个主控设备的接口。断言a361,a362和a363定义了每个主控接口用的检验器,分别使用了各个接口对应的信号作为属性arb的参数。


module pformal;logic clk;
logic a1, a2, a3;
logic b1, b2, b3;
logic c1, c2, c3;
logic d1, d2, d3;initial $vcdpluson();initial
begin
clk=1'b0; 
a1=1'b1; b1=1'b1; c1=1'b1; d1=1'b1;
a2=1'b1; b2=1'b1; c2=1'b1; d2=1'b1;
a3=1'b1; b3=1'b1; c3=1'b1; d3=1'b1;repeat(3) @(posedge clk);
a1=1'b0;
a2=1'b0;
@(posedge clk);
a1=1'b1;
a2=1'b1;
repeat(2) @(posedge clk);
b1=1'b0;
repeat(1) @(posedge clk);
c1=1'd0; d1=1'd0;
repeat(4) @(posedge clk);
c1=1'd1; d1=1'd1;
repeat(1) @(posedge clk);
b1=1'b1;
repeat(2) @(posedge clk);a1=1'b0;
a3=1'b0;
@(posedge clk);
a1=1'b1;
a3=1'b1;
repeat(2) @(posedge clk);
b3=1'b0;
repeat(1) @(posedge clk);
c3=1'd0; d1=3'd0;
repeat(3) @(posedge clk);
c3=1'd1; d1=3'd1;
repeat(1) @(posedge clk);
b3=1'b1;
repeat(2) @(posedge clk);$finish();
endproperty arb (a, b, c, d);@(posedge clk) ($fell(a) ##[2:5] $fell(b)) |->##1 ($fell(c) && $fell(d)) ##0 (!c&&!d) [*4] ##1 (c&&d) ##1 b;
endpropertya36_1: assert property(arb(a1, b1, c1, d1));
a36_2: assert property(arb(a2, b2, c2, d2));
a36_3: assert property(arb(a3, b3, c3, d3));initial forever clk = #25 ~clk;endmodule

        图1-38显示了每个接口对应的断言在模拟过程中的响应。断言a361有一个有效开始,并且检验成功。断言a363有一个有效开始但是检验失败了。

        成功1(a36_1)在时钟周期4,当信号“a1”的下降沿出现时,检验开始。期望在2~5个时钟周期内信号“b1”出现一个下降沿,下降沿在时钟周期7如期出现。在下一个时钟周期,信号“c1”和信号“d1”如期望的为低,并且必须保持为低4个时钟周期。它们在时钟周期8~11都为低。接着在时钟周期12,信号“c1”和“d1”如期望的为高。然后在时钟周期13,信号“b1”如期望地为高。因此检验开始于时钟周期4,成功于时钟周期13。
        失败1(a36_3)在时钟周期15,当信号“a3”的下降沿出现时,检验开始。期望在2~5个时钟周期内信号“b3”出现一个下降沿,下降沿如期在时钟周期18出现。在下一个时钟周期,信号“c3”和“d3”应该为低。由于未检测到信号“d3”为低,检验失败于时钟周期19。
 

这篇关于SystemVerilog Assertions应用指南 Chapter1.31 在属性中使用形参的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/244904

相关文章

postgresql使用UUID函数的方法

《postgresql使用UUID函数的方法》本文给大家介绍postgresql使用UUID函数的方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录PostgreSQL有两种生成uuid的方法。可以先通过sql查看是否已安装扩展函数,和可以安装的扩展函数

spring中的@MapperScan注解属性解析

《spring中的@MapperScan注解属性解析》@MapperScan是Spring集成MyBatis时自动扫描Mapper接口的注解,简化配置并支持多数据源,通过属性控制扫描路径和过滤条件,利... 目录一、核心功能与作用二、注解属性解析三、底层实现原理四、使用场景与最佳实践五、注意事项与常见问题六

如何使用Lombok进行spring 注入

《如何使用Lombok进行spring注入》本文介绍如何用Lombok简化Spring注入,推荐优先使用setter注入,通过注解自动生成getter/setter及构造器,减少冗余代码,提升开发效... Lombok为了开发环境简化代码,好处不用多说。spring 注入方式为2种,构造器注入和setter

MySQL中比较运算符的具体使用

《MySQL中比较运算符的具体使用》本文介绍了SQL中常用的符号类型和非符号类型运算符,符号类型运算符包括等于(=)、安全等于(=)、不等于(/!=)、大小比较(,=,,=)等,感兴趣的可以了解一下... 目录符号类型运算符1. 等于运算符=2. 安全等于运算符<=>3. 不等于运算符<>或!=4. 小于运

使用zip4j实现Java中的ZIP文件加密压缩的操作方法

《使用zip4j实现Java中的ZIP文件加密压缩的操作方法》本文介绍如何通过Maven集成zip4j1.3.2库创建带密码保护的ZIP文件,涵盖依赖配置、代码示例及加密原理,确保数据安全性,感兴趣的... 目录1. zip4j库介绍和版本1.1 zip4j库概述1.2 zip4j的版本演变1.3 zip4

从入门到进阶讲解Python自动化Playwright实战指南

《从入门到进阶讲解Python自动化Playwright实战指南》Playwright是针对Python语言的纯自动化工具,它可以通过单个API自动执行Chromium,Firefox和WebKit... 目录Playwright 简介核心优势安装步骤观点与案例结合Playwright 核心功能从零开始学习

Python 字典 (Dictionary)使用详解

《Python字典(Dictionary)使用详解》字典是python中最重要,最常用的数据结构之一,它提供了高效的键值对存储和查找能力,:本文主要介绍Python字典(Dictionary)... 目录字典1.基本特性2.创建字典3.访问元素4.修改字典5.删除元素6.字典遍历7.字典的高级特性默认字典

Java堆转储文件之1.6G大文件处理完整指南

《Java堆转储文件之1.6G大文件处理完整指南》堆转储文件是优化、分析内存消耗的重要工具,:本文主要介绍Java堆转储文件之1.6G大文件处理的相关资料,文中通过代码介绍的非常详细,需要的朋友可... 目录前言文件为什么这么大?如何处理这个文件?分析文件内容(推荐)删除文件(如果不需要)查看错误来源如何避

使用Python构建一个高效的日志处理系统

《使用Python构建一个高效的日志处理系统》这篇文章主要为大家详细讲解了如何使用Python开发一个专业的日志分析工具,能够自动化处理、分析和可视化各类日志文件,大幅提升运维效率,需要的可以了解下... 目录环境准备工具功能概述完整代码实现代码深度解析1. 类设计与初始化2. 日志解析核心逻辑3. 文件处

Java docx4j高效处理Word文档的实战指南

《Javadocx4j高效处理Word文档的实战指南》对于需要在Java应用程序中生成、修改或处理Word文档的开发者来说,docx4j是一个强大而专业的选择,下面我们就来看看docx4j的具体使用... 目录引言一、环境准备与基础配置1.1 Maven依赖配置1.2 初始化测试类二、增强版文档操作示例2.