阻塞赋值和非阻塞赋值

ops/2025/1/17 17:20:28/

理论学习

                阻塞赋值 用                 =        表示 ,这种对应的电路结构常常与触发器没有关系,只与输入电平的变化有关系。可以将阻塞赋值的操作看作只有一个步骤的操作,即将计算赋值符号的右边赋值给左边,在未执行完之前,不允许其他verilog语句执行。

                非阻塞赋值 用           <=        表示,这种对应的电路结构常常与触发沿有关系,只有在触发沿才能执行。非阻塞逻辑开始时 先计算式子右边的语句,赋值操作结束时才更行式子左边的语句,可以认为需要两个步骤来完成赋值。非阻塞赋值执行的时候,其他verilog语句都能同时计算。

阻塞赋值

module    blocking    
(input    wire    sys_clk    ,input    wire    sus_rst_n    ,input    wire    [1:0]    in    ,output   reg     [1:0]    out
);reg    [1:0]    in_reg    ;//给out延迟 1 clkalways(posedge sys_clk or negedge sys_rst_n )beginif(sys_rst_n == 1'b0)beginin_reg    =    2'b0    ;out       =    2'b0    ;endelsebeginin_reg    =    in        ;out       =    in_reg    ;endendendmodule

阻塞赋值对应的tb

`timescale    1ns/1nsmodule    tb_blocking();reg    sys_clk        ;reg    sys_rst_n      ;reg    [1:0]    in    ;wire   [1:0]    out   ;initialbeginsys_clk     =         1'b0    ;sys_rst_n   <=        1'b0    ;int         <=        2'b0    ;#20    ;sys_rst_n   <=        1'b1    ;endalways #10    sys_clk     <=    ~sys_clk    ;always #20    in          <=    {$random}%4 ;blocking    blocking_inst(.sys_clk      (sys_clk)      ,.sys_rst_n    (sys_rst_n)    ,.in           (in)           ,.out          (out));endmodule

非阻塞赋值,可以看到这样子有两组寄存器。

module    non_blocking
(input    wire    sys_clk      ,input    wire    sys_rst_n    ,input    wire  [1:0]   in     ,output   reg   [1:0]   out 
);reg    [1:0]    in_reg    ;always@(posedge sys_clk or negedge sys_rst_n)beginif(sys_rst_n == 1'b0)beginin_reg    <=    2'b0    ;out       <=    2'b0    ;endelsebeginin_reg    <=    in        ;out       <=    in_reg    ;endendendmodule

非阻塞赋值对应的tb,结果发现,in和in_reg有一个clk延时,in_reg和out有一个延时,也就是in和out有两个延时。

module   tb_non_blocking();reg    sys_clk      ;reg    sys_rst_n    ;reg    [1:0]    in           ;wire   [1:0]    out          ;initialbeginsys_clk     =    1'b1    ;sys_rst_n  <=    1'b1    ;in         <=    2'b0    ;#20    ;sys_rst_n  <=    1'b1    ;endalways #10    sys_clk    =    ~sys_clk    ;always #20    in    <=    {$random}%4    ;non_block    non_block_inst(.sys_clk        (sys_clk)      ,.sys_rst_n      (sys_rst_n)    ,.in             (in)           ,.out            (out));endmodule 


http://www.ppmy.cn/ops/150870.html

相关文章

在 .NET 9 中使用 Scalar 替代 Swagger

前言 在.NET 9发布以后ASP.NET Core官方团队发布公告已经将Swashbuckle.AspNetCore&#xff08;一个为ASP.NET Core API提供Swagger工具的项目&#xff09;从ASP.NET Core Web API模板中移除&#xff0c;这意味着以后我们创建Web API项目的时候不会再自动生成Swagger API文档了…

如何设计一个 RPC 框架?需要考虑哪些点?

面试官&#xff1a;如何设计一个 RPC 框架&#xff1f;需要考虑哪些点&#xff1f; 设计一个远程过程调用&#xff08;RPC&#xff09;框架是一个复杂的系统工程&#xff0c;涉及多个方面的考虑。一个好的 RPC 框架应具备可扩展性、灵活性、易用性和高性能。下面是设计 RPC 框…

Rust 强制类型转换和动态指针类型的转换

在 Rust 中的强制类型转换&#xff08;Coercion&#xff09;语义&#xff0c;与 Java 或 C 中的子类到父类的转换有某些相似之处&#xff0c;但两者的实现机制和使用场景有很大的区别。 我们将从 Java/C 的子类到父类转换 和 Rust 的强制类型转换 的角度进行比较&#xff0c;帮…

LeetCode 热题 100_课程表(53_207_中等_C++)(图,拓扑排序)

LeetCode 热题 100_课程表&#xff08;53_207&#xff09; 题目描述&#xff1a;输入输出样例&#xff1a;题解&#xff1a;解题思路&#xff1a;思路一&#xff08;广度优先搜索拓扑排序&#xff09;&#xff1a; 代码实现代码实现&#xff08;思路一&#xff08;拓扑排序&…

【Redis】Redis事务和Lua脚本的区别

Redis事务 概念 事务&#xff1a;Redis事务是一组命令的集合&#xff0c;这些命令会被序列化地执行&#xff0c;中间不会被其他命令插入。 MULTI/EXEC&#xff1a;Redis事务通过MULTI命令开始&#xff0c;通过EXEC命令执行所有已入队的命令。 特点 原子性&#xff1a; 事务…

Python编程中的两种主要的编程模式

在Python编程中&#xff0c;有两种主要的编程模式被广泛使用&#xff1a;面向过程编程&#xff08;Procedural Programming&#xff09; 和 面向对象编程&#xff08;Object-Oriented Programming, OOP&#xff09;。这两种模式各有优缺点&#xff0c;适用于不同的场景。 1. 面…

【软件工程】知识点总结(上)

重点章节&#xff1a;软件开发模型、敏捷开发方法、结构化开发方法、面向对象开发方法 目录 重点章节&#xff1a;软件开发模型、敏捷开发方法、结构化开发方法、面向对象开发方法 第一章&#xff1a;软件工程概述 1.1 内容简介 1.2 软件 1、软件的定义 2、软件的发展 3、软件的…

Android SystemUI——使用Dagger2加载组件(四)

SystemUI 是 Android 系统中的一个重要模块,负责绘制系统栏(如状态栏、导航栏)、锁屏、快捷设置等用户界面元素。由于其复杂性,良好的架构设计和依赖管理对于保持代码的可维护性和扩展性至关重要。这就是 Dagger2 在此发挥重要作用的地方。 一、Dagger2介绍 Dagger2 是一个…