[SystemVerilog语法拾遗] systemverilog中各种延时方式详解

数字验证Kane陈

已于 2023-10-07 16:32:59 修改

阅读量2.5k

点赞数 3

分类专栏： SystemVerilog语法拾遗文章标签：经验分享硬件工程

于 2023-10-07 16:29:03 首次发布

本文链接：https://blog.csdn.net/sunstat/article/details/133644416

版权

SystemVerilog语法拾遗专栏收录该内容

13 篇文章 4 订阅

订阅专栏

[SystemVerilog语法拾遗] systemverilog中各种延时方式详解

最近在做系统集成的时候经常会用到模块间信号连接的时候增加delay的操作，而systemverilog语法中支持各式各样的delay添加方法。
sv中有3种类型的赋值：阻塞赋值、非阻塞赋值和连续赋值。
延时（#1）写的位置有2种：
当延时(#1)写在整个表达式最前面时，三种类型的赋值，延时结果一致是：等待_忽略中间变化再计算
当延时(= #1)写在等于号(=)后面时：
1.连续赋值语法错误排除。
2.阻塞赋值是：先计算后延时再赋值
3.非阻塞赋值是：直接跟随
这样组合下来总共有6中添加延时的方式，如下图所示：
在这里插入图片描述
延时分类图示

下文为转载文章，详细介绍各种delay方式的示例原理，最后补充说明文章中一处错误的讲解。

Verilog语法之延时

说明
LHS: Left-Hand-Side，左式;
RHS: Right-Hand-Side，右式;
`timescale 1ns/100ps;

连续赋值中的延时

LHS中加延时

assign #2 y = ~a;
描述：非门的延时为2ns，输入端信号变化到输出端体现出来需要2ns时间。即a发生变化后，经过2ns时间，y才发生变化。
注意：任意小于2ns的信号变化脉冲都被过滤掉。例如：在这里插入图片描述

在a从1变化为0时，由于0的持续时长仅1ns，变化将不体现在输出端上，输出端在一次变化后将一直维持在0。
解释：无论何时输入信号a发生变化，都会立即产生并执行一个计算事件，计算RHS的值，即~a，这个过程可表示为assign tmp = ~a，并且是立即执行。若a此时为0，则tmp=1。产生并执行计算事件的同时，产生一个更新事件，即assign y = tmp，但并没有被立即执行，而是被调度到当前仿真事件以后的2ns时刻去执行。而在更新事件被执行之前，若产生新的更新事件，即a从0变化为1，旧的更新事件将被替换，即tmp=0，并在新的更新事件产生的时刻之后的2ns执行新的更新事件。所以assign #2 y = ~a; 等价于：在这里插入图片描述

连续赋值语句中变化小于延时的脉冲被过滤的特点也体现了连续赋值没有记忆功能的特点，不管如何延时，计算事件在何时产生并执行，实际更新事件执行时都是用更新时间执行时刻的输入信号去计算RHS，在赋值给LHS。
assign #(2,3) y = ~a;
描述：非门的上升沿延时（输出变为1）为2ns，下降沿延时（输出变为0）为3ns；关闭延时（输出变成z，高阻态）和输出变为x的延时为2和3中的最小值，即2ns。
assign #(2,3,4) y = ~a;
描述：非门的上升沿延时（输出变为1）为2ns，下降沿延时（输出变为0）为3ns；关闭延时为4ns；输出为x的延时为2，3和4中的最小值，即2ns。
assign #(2:3:4,3:4:5) y = ~a;
描述：表示上升延时的min:typ:max为2:3:4；下降延时的min:typ:max为3:4:5。

RHS中加延时 // 将产生语法错误

由于线网类型没有记忆功能，assign 语句中给RHS加延时，将产生语法错误。如：
在这里插入图片描述

仿真

在这里插入图片描述

阻塞赋值中的延时

LHS中加延时

#5 y = a ^ b;
描述：当某时刻T时，a或b发生了变化，导致always语句开始执行，然后遇到#5，立刻将该always进程挂起。等到5ns后，再将T+5ns时刻的a^b赋值给y。T~T+5ns的时间之内，a和b上的任何变化都被忽略了。
解释：T时刻事件触发，然后执行#5。由于是阻塞赋值，在5ns时间内该always块一直在执行等待操作，触发事件的接收被阻塞，即错过事件触发，故a和b上的任何变化都被忽略了。而与其并行执行的always块的触发事件则不会被阻塞。等价于：在这里插入图片描述

#(3,5) y = a ^ b; //产生语法错误

RHS中加延时

y = #5 a ^ b;
描述：当某个时刻T时，a或b发生了变化，导致always 语句开始执行，先将T时刻变化后的a和b异或，然后该always进程挂起。等5ns以后，再将T时刻的a^b的结果赋值给y。在T到T+5ns的时间之内，a和b上的任何变化都被忽略了。
解释：等价于：在这里插入图片描述

y = #(3,5) a ^ b; //将产生语法错误

仿真

在这里插入图片描述

非阻塞赋值中的延时

LHS中加延时

#5 y <= a ^ b;
描述：当某个时刻T，a发生了变化，导致always语句开始执行，然后遇到#5，立刻将该always进程挂起。等到5ns以后，always语句被重新激活，将T+5ns时刻的a^b赋值给y。在T~T+5ns时间之内，a和b上的任何变化都被忽略了。
解释：由于先进行延迟再进行非阻塞赋值，故结果与阻塞赋值时一样。而#5延时先执行，没有产生事件调度，所以触发事件也可以理解为被阻塞了。等价于：
添加图片注释，不超过 140 字（可选）

#(4,5) y <= a ^ b; // 产生语法错误

RHS中加延时

y <= #5 a ^ b;//无损delay最常用的方式
描述：当某个时刻T，a发生了变化，导致always语句开始执行y = a ^ b。首先计算a^b的值，然后将赋值给y的更新事件调度到T+5ns以后执行。在T~T+5ns上a和b的任何变化都不会忽略，总是在变化后的5ns时刻体现在y上。
解释：**更新事件调度会在等待执行队列中等待，由于非阻塞赋值具有记忆性，所以不会被替换。**等价于：
在这里插入图片描述