Verilog-FPGA硬件电路设计之一——if语句优先级问题

2024-05-10 16:58

本文主要是介绍Verilog-FPGA硬件电路设计之一——if语句优先级问题,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

综合软件:Quartus II 

一、有优先级的if语句

if..else if.. else if … …else..语句中是有优先级的,第一个if具有最高优先级,最后一个else优先级最低。Quartus综合出的RTL图认为,最高优先级的电路靠近电路的输出,输入到输出的延时较短;最低优先级的电路远离输出端,输入到输出的延时较长。

module single_if_late(A, C, CTRL_is_late, Z);

    input [6:1] A;

    input [5:1] C;

    input CTRL_is_late;

    output Z;  reg Z;

always @(C or A or CTRL_is_late)

 // late arriving signal in if condition

if (C[4] == 1'b1 && CTRL_is_late == 1'b0)      Z = A[4];

else if (C[1] == 1'b1)     Z = A[1];

else if (C[2] == 1'b0)     Z = A[2];

else if (C[3] == 1'b1)     Z = A[3];

else if (C[5] == 1'b0)     Z = A[5];

else                   Z = A[6];

endmodule

 RTL图:

 

二、无优先级if语句

几个无优先级的if语句在组合逻辑电路中,采用阻塞赋值和非阻塞赋值效果一样。但是无优先级if语句设计组合逻辑电路,并非就是没有优先级,而是优先级按照阻塞赋值的先后顺序(因为硬件电路对同一个信号做不同的处理总会有先后顺序),一个always块中的最后一个if语句具有最高优先级。(所有if语句中必须操作同个一个reg信号)

always @(C or A or CTRL_is_late)

  // late arriving signal in if condition

begin

  Z = A[6];

  if (C[4] == 1'b1 && CTRL_is_late == 1'b0)   Z = A[4];

  if (C[1] == 1'b1)              Z = A[1];

  if (C[2] == 1'b0)         Z = A[2];

  if (C[3] == 1'b1)        Z = A[3];

  if (C[5] == 1'b0)           Z = A[5];

end

注: always块中 赋值的信号,必须定义为 reg型,但是并不等同于硬件电路产生一个寄存器。纯组合逻辑电路中,的reg信号,等同于wire连线。 

三、无优先级的if语句,如何让条件全部覆盖呢?

1、可以像上述程序,直接在所有的if语句之前加上一个最低优先级的值,也可以是复位值。

2、可以放在第一个if后面的else里面。

3、要注意被阻塞的情况。

下面就是个阻塞的例子:

always @(C or A or CTRL_is_late)

  // late arriving signal in if condition

begin

  //Z = A[6];        //可以放在此位置

  if (C[4] == 1'b1 && CTRL_is_late == 1'b0)    Z = A[4];

  //else    Z = A[6];   //可以放在此位置

  if (C[1] == 1'b1)    Z = A[1];

if (C[2] == 1'b0)    Z = A[2];

if (C[3] == 1'b1)      Z = A[3];

else                Z = A[6];  //放在此处,上面的if被阻塞

if (C[5] == 1'b0)     Z = A[5];

end

生成的RTL图如下:

Z = A[6];可以放在第一个if的else中(因为之前无赋值语句,所以不会被阻塞),但不能放在其他的if后面。那么放在何处会产生阻塞的情况?

1、假如放在第4个if后面的else 里面,那么前面3个if就被阻塞了,因为第4个的else中已经包含了前三个if语句的条件,要时刻记住always块中的阻塞赋值生成的组合逻辑电路是按照顺利执行的。 既然是按照顺序,那第4个if的else里面已经包含了前面的if条件,那么前面条件就没有意义,而综合软件在进行综合时,就将前面3个if语句优化掉,即不会生成对应的电路。同样道理,放在第一个if后面的else中是可以的。

2、不加else判断,直接放在某两个if语句之间,同样会阻塞此语句之前的所有if语句。

3、如果无此语句,那么条件覆盖不完全,产生锁存,如下图生成的RTL电路。

这篇关于Verilog-FPGA硬件电路设计之一——if语句优先级问题的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

mybatis和mybatis-plus设置值为null不起作用问题及解决

《mybatis和mybatis-plus设置值为null不起作用问题及解决》Mybatis-Plus的FieldStrategy主要用于控制新增、更新和查询时对空值的处理策略,通过配置不同的策略类型... 目录MyBATis-plusFieldStrategy作用FieldStrategy类型每种策略的作

linux下多个硬盘划分到同一挂载点问题

《linux下多个硬盘划分到同一挂载点问题》在Linux系统中,将多个硬盘划分到同一挂载点需要通过逻辑卷管理(LVM)来实现,首先,需要将物理存储设备(如硬盘分区)创建为物理卷,然后,将这些物理卷组成... 目录linux下多个硬盘划分到同一挂载点需要明确的几个概念硬盘插上默认的是非lvm总结Linux下多

Python Jupyter Notebook导包报错问题及解决

《PythonJupyterNotebook导包报错问题及解决》在conda环境中安装包后,JupyterNotebook导入时出现ImportError,可能是由于包版本不对应或版本太高,解决方... 目录问题解决方法重新安装Jupyter NoteBook 更改Kernel总结问题在conda上安装了

pip install jupyterlab失败的原因问题及探索

《pipinstalljupyterlab失败的原因问题及探索》在学习Yolo模型时,尝试安装JupyterLab但遇到错误,错误提示缺少Rust和Cargo编译环境,因为pywinpty包需要它... 目录背景问题解决方案总结背景最近在学习Yolo模型,然后其中要下载jupyter(有点LSVmu像一个

0基础租个硬件玩deepseek,蓝耘元生代智算云|本地部署DeepSeek R1模型的操作流程

《0基础租个硬件玩deepseek,蓝耘元生代智算云|本地部署DeepSeekR1模型的操作流程》DeepSeekR1模型凭借其强大的自然语言处理能力,在未来具有广阔的应用前景,有望在多个领域发... 目录0基础租个硬件玩deepseek,蓝耘元生代智算云|本地部署DeepSeek R1模型,3步搞定一个应

解决jupyterLab打开后出现Config option `template_path`not recognized by `ExporterCollapsibleHeadings`问题

《解决jupyterLab打开后出现Configoption`template_path`notrecognizedby`ExporterCollapsibleHeadings`问题》在Ju... 目录jupyterLab打开后出现“templandroidate_path”相关问题这是 tensorflo

如何解决Pycharm编辑内容时有光标的问题

《如何解决Pycharm编辑内容时有光标的问题》文章介绍了如何在PyCharm中配置VimEmulator插件,包括检查插件是否已安装、下载插件以及安装IdeaVim插件的步骤... 目录Pycharm编辑内容时有光标1.如果Vim Emulator前面有对勾2.www.chinasem.cn如果tools工

在MySQL执行UPDATE语句时遇到的错误1175的解决方案

《在MySQL执行UPDATE语句时遇到的错误1175的解决方案》MySQL安全更新模式(SafeUpdateMode)限制了UPDATE和DELETE操作,要求使用WHERE子句时必须基于主键或索引... mysql 中遇到的 Error Code: 1175 是由于启用了 安全更新模式(Safe Upd

最长公共子序列问题的深度分析与Java实现方式

《最长公共子序列问题的深度分析与Java实现方式》本文详细介绍了最长公共子序列(LCS)问题,包括其概念、暴力解法、动态规划解法,并提供了Java代码实现,暴力解法虽然简单,但在大数据处理中效率较低,... 目录最长公共子序列问题概述问题理解与示例分析暴力解法思路与示例代码动态规划解法DP 表的构建与意义动

Java多线程父线程向子线程传值问题及解决

《Java多线程父线程向子线程传值问题及解决》文章总结了5种解决父子之间数据传递困扰的解决方案,包括ThreadLocal+TaskDecorator、UserUtils、CustomTaskDeco... 目录1 背景2 ThreadLocal+TaskDecorator3 RequestContextH