07-阻塞赋值与非阻塞赋值原理分析——小梅哥FPGA设计思想与验证方法视频教程配套文档...
芯航线——普利斯队长精心奉献
实验目的:掌握阻塞赋值与非阻塞赋值的区别
实验平台:无
实验原理:
阻塞赋值,操作符为"=","阻塞"是指在进程语句(initial和always)中,当前的赋值语句阻断了其后的语句,也就是说后面的语句必须等到当前的赋值语句执行完毕才能执行。而且阻塞赋值可以看成是一步完成的,即:计算等号右边的值并同时赋给左边变量。
非阻塞赋值,操作符为"<=","非阻塞"是指在进程语句(initial和always)中,当前的赋值语句不会阻断其后的语句。
实验步骤:
为了详细说明阻塞赋值与非阻塞赋值对实际形成电路的影响,以下写了五个设计。其中端口列表均为以下所示,各部分代码不再重复。
module block_nonblock(Clk,Rst_n,a,b,c,out); input Clk; input Rst_n; input a,b,c; output reg [1:0]out; 。。。。。。。。。。。。。。。 endmodule |
首先在时序电路中使用阻塞赋值的方式,生成一个加法器。这种方式生成的实际逻辑电路如图7-1所示。
reg [1:0] d; always@(posedge Clk or negedge Rst_n) if(!Rst_n) out = 2'b0; else begin d = a + b ; out = d + c; end |
|
图7-1
现在把阻塞赋值的两条语句顺序颠倒一下,再次综合可以得到图7-2所示的逻辑电路。可以在调整顺序后与不调整时生成的逻辑电路不一致。现结合实验原理部分给出详细解释,当执行out = d + c时,d的数据此时并不是更新后a+b的数据,而是上一个Clk上升沿到来时d的数据,这也就解释了为何还有一个D触发器的存在。通俗讲阻塞,out的这条语句阻塞了d的语句执行。对比图7-1的代码,由于d的语句在out的前面,虽然使用了阻塞赋值但是相当于out=a+b+c。
reg [1:0] d; always@(posedge Clk or negedge Rst_n) if(!Rst_n) out = 2'b0; else begin out = d + c; d = a + b; end |
|
图7-2
现在把赋值方式改为非阻塞赋值,进行综合后可以看到如图7-3所示的逻辑电路。
reg [1:0] d; always@(posedge Clk or negedge Rst_n) if(!Rst_n) out <= 2'b0; else begin d <= a + b; out <= d + c; end |
|
图7-3
现在使用非阻塞方式,交换语句执行顺序,综合后实现的逻辑电路如图7-4所示。这里由于采用的非阻塞赋值,因此交换语句前后顺序并不会对最终生成的逻辑电路有实际影响。
reg [1:0] d; always@(posedge Clk or negedge Rst_n) if(!Rst_n) out <= 2'b0; else begin out <= d + c; d <= a + b; end |
|
图7-4
为了在其各自的时序图中更直观的观察效果,新建仿真block_nonblock_tb.v文件保存到testbench文件夹下,输入以下内容再次进行分析和综合直至没有错误以及警告。本激励文件除产生正常的时钟以及复位信号外,还生成了a、b、c三个信号。这里调用待仿真文件使用的调用方式是显式调用,这种方式要求调用时信号顺序需要与编写的文件顺序一致且不能在一个激励文件中调用两次。可以看出这种方式容易出错,且具有局限性,不推荐使用因此之后的例子均不采用,此处只做介绍。
`timescale 1ns/1ns `define clock_period 20 module block_nonblock_tb; reg Clock; reg Rst_n; reg a,b,c; wire [1:0]out; block_nonblock block_nonblock0(Clock,Rst_n,a,b,c,out); initial Clock = 1; always#(`clock_period/2) Clock = ~Clock; initial begin Rst_n = 1'b0; a = 0; b = 0; c = 0; #(`clock_period*200 + 1); Rst_n = 1'b1; #(`clock_period*200); a = 0 ; b = 0 ; c = 0; #(`clock_period*200); a = 0 ; b = 0 ; c = 1; #(`clock_period*200); a = 0 ; b = 1 ; c = 0; #(`clock_period*200); a = 0 ; b = 1 ; c = 1; #(`clock_period*200); a = 1 ; b = 0 ; c = 0; #(`clock_period*200); a = 1 ; b = 0 ; c = 1; #(`clock_period*200); a = 1 ; b = 1 ; c = 0; #(`clock_period*200); a = 1 ; b = 1 ; c = 1; #(`clock_period*200); #(`clock_period*200); $stop; end endmodule |
设置好仿真脚本后进行功能仿真,可以看到如图7-5所示的波形文件,可以看出在复位信号置高之前输出为0。直观看上去没有问题。现在放大细节可以看出如图
图7-5
变化在第一个时钟沿之后因此第一个时钟沿检测不到,下一个时钟检测到011 直接赋值计算。
图7-6
放大细节可以看出,在第一个上升沿out还是0,这是由于虽然是非阻塞赋值并且d已经更新为1,但是实际电路中总会存在延迟,这个时钟沿out已经采不到当前d数据了还是采到0。为了更好的说明进行门级仿真。
图7-7
全编译后进行门级后仿,可以在图7-8清晰的看出这种现象。
图7-8
再次改为非阻塞赋值,如下所示综合出来如图7-9所示。可以与图7-1比较分析。
always@(posedge Clk or negedge Rst_n) if(!Rst_n) out <= 2'b0; else begin out <= a + b + c; end |
|
图7-9
本节对比了 Verilog 语法中阻塞赋值和非阻塞赋值的区别,通过证明非阻塞赋值多种赋值顺序生产电路的唯一性,与非阻塞赋值多种赋值书序生成电路的不确定性,来展示使用非阻塞赋值对设计可预测性的重要意义
掌握可综合风格的Verilog模块编程的八个原则会有很大的帮助。在编写时牢记这八个要点可以为绝大多数的Verilog用户解决在综合后仿真中出现的90-100% 的冒险竞争问题。
1) 时序电路建模时,用非阻塞赋值。
2) 锁存器电路建模时,用非阻塞赋值。
3) 用always块建立组合逻辑模型时,用阻塞赋值。
4) 在同一个always块中建立时序和组合逻辑电路时,用非阻塞赋值。
5) 在同一个always块中不要既用非阻塞赋值又用阻塞赋值。
6) 不要在一个以上的always块中为同一个变量赋值。
7) 用$strobe系统任务来显示用非阻塞赋值的变量值
8) 在赋值时不要使用 #0 延迟
转载于:https://www.cnblogs.com/xiaomeige/p/5500956.html
07-阻塞赋值与非阻塞赋值原理分析——小梅哥FPGA设计思想与验证方法视频教程配套文档...相关推荐
- 硅芯思见:阻塞赋值与非阻塞赋值
0 丑话说在前边 RHS:运算符(= or <=)右侧的表达式 LHS:运算符(= or <=)左侧的表达式 竞争(Race Condition):在同一仿真时间槽(time-slot)多 ...
- 通过举例谈谈阻塞赋值与非阻塞赋值的区别
这篇博客,通过举例说明:非阻塞赋值和阻塞赋值的区别? 一般非阻塞赋值用于时序逻辑,而阻塞赋值用于组合逻辑: 非阻塞赋值语句是并行执行的,等到一个时钟完成后才完成赋值,而阻塞赋值是顺序执行的,下一条赋值 ...
- 查询框赋值后不可编辑_【技巧分享】阻塞赋值与非阻塞赋值
原创 小黑同学 明德扬FPGA科教 关于阻塞赋值和非阻塞赋值的问题,明德扬的学员提得比较多,今天小黑老师专门给大家普及一下阻塞赋值和非阻塞赋值的相关知识. 一.概述 1.阻塞赋值对应的电路往往与触发沿 ...
- (13)FPGA面试题阻塞赋值与非阻塞赋值
1.1 FPGA面试题阻塞赋值与非阻塞赋值 1.1.1 本节目录 1)本节目录: 2)本节引言: 3)FPGA简介: 4)FPGA面试题阻塞赋值与非阻塞赋值: 5)结束语. 1.1.2 本节引言 &q ...
- FPGA阻塞赋值与非阻塞赋值用法
1.1 FPGA阻塞赋值与非阻塞赋值用法 1.1.1 本节目录 1)本节目录: 2)本节引言: 3)FPGA简介: 4)FPGA阻塞赋值与非阻塞赋值用法: 5)结束语. 1.1.2 本节引言 &quo ...
- 把变量赋值给寄存器_阻塞赋值和非阻塞赋值的区别与记忆
罗成:Verilog语法之六:阻塞赋值与非阻塞赋值zhuanlan.zhihu.com 通过上面的文章先了解下,阻塞赋值和非阻塞赋值的区别. b<=a; c<=b; 非阻塞赋值 b=a; ...
- verilog中阻塞赋值与 非阻塞赋值的区别
非阻塞(Non_Blocking)赋值方式( 如 b <= a; ), 块结束后才完成赋值操作,值并不是立刻就改变的, 这是一种比较常用的赋值方法.(特别在编写可综合模块时). 阻塞(Block ...
- verilog reg赋初值_Verilog语法之六:阻塞赋值与非阻塞赋值
本文首发于微信公众号"花蚂蚁",想要学习FPGA及Verilog的同学可以关注一下. 一.初步理解阻塞赋值与非阻塞赋值 在Verilog HDL语言中,信号有两种赋值方式: (1) ...
- Verilog中阻塞赋值和非阻塞赋值的区别
Verilog中阻塞赋值(=)和非阻塞赋值(<=)的区别 **阻塞赋值:**前面语句执行完,才可执行下一条语句:即:前面语句的执行(b=a)阻塞了后面语句的执行(c=b).即:always块内, ...
最新文章
- 汉诺塔问题---小昝
- 关于js里的document.compatmode
- 成功解决An error ocurred while starting the kernel
- 玩转 React(二)- 新型前端开发方式
- 神经网络与深度学习(邱锡鹏)-学习笔记
- mysql字符集设置_mysql字符集设置
- (22)Vue.js 综合案例:TodoMVC
- 探索 OpenStack 之(7):Neutron 深入探索之 Open vSwitch (OVS) + GRE 之 Neutron节点篇
- linux 内核参数优化 mysql_Linux记录-mysql参数优化
- [编写高质量代码:改善java程序的151个建议]建议66 asList方法产生的List对象不可更改...
- not optimal php,PHP错误提示It is not safe to rely on the system……的解决方法
- 架构 简述负载均衡和CDN技术
- SpringBoot下Mybatis-注解动态sql开发的坑
- 手机组态软件_安卓平板组态软件​_移动端组态
- html5 在线留言,html5实现手机弹窗留言对话框
- 第5章 运算符、表达式和语句
- ios html格式转换,如何使用HTML模版和iOS中的UIPrintPageRenderer来生成PDF文档
- 关于新光源建设的一些想法
- python参考书推荐--父与子的编程之旅
- 检测器评价指标-IOU