Verilog-FPGA硬件电路设计之一——if语句优先级(always块中的阻塞赋值生成的组合逻辑电路是按照顺利执行的)...

本文探讨了Verilog HDL中if语句的不同用法及其对综合结果的影响,包括有优先级和无优先级if语句的区别,以及如何确保条件全面覆盖的方法。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

出处:http://bbs.ednchina.com/BLOG_ARTICLE_3013262.HTM

 

 

综合软件: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电路。

 

转载于:https://www.cnblogs.com/hfyfpga/p/5229648.html

<think>我们正在讨论Verilogif-else和case语句的性能差异,特别是if-else优于case的场景。根据之前的讨论,case语句通常生成优先级的多路选择器,具有并行性和O(logn)的延迟,而if-else会生成优先级编码的链式结构,延迟为O(n)。但是,在某些特定场景下,if-else可能优于case语句。我们需要分析这些场景。参考引用:[^1]提到:尽量保持较小的语句always)规模,有利于综合工具优化。同时提到保持设计的层次结构。[^2]提到:硬件设计存在并行性,软件算法中O(n)可能不错,但硬件中可能不够,而二分查找可以达到O(logn)。这暗示了并行结构在硬件中的优势。[^3]展示了使用if-else编写的D触发器,并提到使用断言捕捉不定态。这个例子中if-else是合适的,因为控制信号(lden)具有明确的优先级(复位优先级高于使能)。[^4]展示了Verilog中相等运算符的行为。分析if-else优于case的场景:1.**分支条件具有自然优先级**:当设计需求中条件本身具有优先级(例如,中断优先级、复位优先于使能等),使用if-else可以自然地映射到优先级编码结构,而case语句需要额外编码(例如使用prioritycase)才能实现优先级,否则综合工具可能将其优化为并行选择。但注意,如果使用普通的case,综合工具可能仍然会生成优先级的多路选择器,这样会导致逻辑错误。因此,对于有优先级的条件,if-else更直接,且综合后的电路可能更小(因为不需要解码所有条件)。2.**分支数量少(通常2-3个)**:当分支数量很少时,if-else和case在延迟上的差异可以忽略。同时,if-else结构可能比case更节省面积,因为case语句需要完整的解码逻辑,而if-else可能只需要级联的与或门。例如,两个分支的if-else可能只需要一个选择器,而同样分支数的case语句可能也会生成类似的结构,但if-else更简洁。3.**条件互斥但非二进制编码**:当选择条件不是二进制编码,而是多个独立的使能信号(例如,sel0,sel1,sel2,它们可能同时有效,但需要优先级),if-else可以明确表达优先级,而case语句无法直接处理非互斥的条件(除非使用casex或casez,但这可能带来设计风险)。此时,if-else更直观且安全。4.**资源受限**:在面积敏感的设计中,if-else可能生成更小的电路。因为优先级结构可以共享部分逻辑,而并行多路选择器需要完整的解码和选择树,占用更多资源。特别是在FPGA中,LUT资源有限,当分支数较多时,无优先级的多路选择器可能需要更多的LUT,而优先级链可以利用LUT的级联特性(每个LUT实现一级条件判断)更紧凑。5.**时序要求不高**:当目标频率不高,路径延时不是关键因素时,使用if-else可以节省面积。因为优先级链的延迟虽然随分支数线性增加,但在低频设计中仍然满足时序要求。6.**条件表达式复杂且重叠**:当各个分支的条件表达式不是简单的互斥值,而是有重叠的复杂表达式时,case语句只能匹配常量值,而if-else可以处理任意布尔表达式。在这种情况下,if-else是唯一的选择。然而,需要注意的是,在大多数情况下,对于多路选择(尤其是等优先级的选择),case语句是首选,因为它具有更好的时序性能。但在上述特定场景中,if-else可能更优。总结:|场景|if-else优势原因||-------------------------------|--------------------------------------------------------------------------------||条件具有自然优先级|直接映射优先级结构,无需额外解码,面积可能更小||分支数少(2-3个)|延迟差异可忽略,且if-else结构简单||非互斥条件需优先级|case无法直接处理,if-else可明确优先级||面积敏感设计|优先级结构可能共享逻辑,占用资源更少||低频设计(时序要求宽松)|优先级链的延迟可接受,同时节省面积||条件表达式复杂(非常量匹配)|case只能匹配常量,if-else可处理任意布尔表达式|示例:复位优先级高于使能的寄存器```verilog//使用if-else,复位优先级高于使能always@(posedgeclkornegedgerst_n)beginif(!rst_n)q<=0;elseif(lden)q<=d;end```在这个例子中,if-else明确表达了复位优先于使能,综合后生成一个带异步复位的D触发器,其中数据输入的选择具有优先级(复位信号优先级最高)。如果使用case语句,需要写成:```verilog//使用casez实现优先级(但不如if-else直观)always@(posedgeclkornegedgerst_n)begincasez({rst_n,lden})2'b0?:q<=0;//复位有效时,不管lden2'b11:q<=d;//复位无效且使能有效default:q<=q;//保持,但通常不需要,因为复位和使能已经覆盖endcaseend```显然,if-else更简洁且易于理解。因此,在需要优先级、分支少、面积敏感等场景下,if-else性能(面积)优于case语句。但要注意,如果误用if-else在等优先级多路选择上,会导致不必要的优先级链,增加延迟。相关问题:1.Verilog中如何设计既有时序优化又面积优化的多路选择器?2.使用if-else时如何避免生成锁存器?3.FPGA设计中,如何根据目标器件选择if-else或case语句?4.如何通过仿真验证if-else和case语句的综合结果是否符合预期?</think>### Verilogif-else优于case语句的场景分析 在Verilog设计中,虽然`case`语句通常能生成更优的时序性能,但**if-else语句在特定场景下具有独特优势**。以下是if-else优于case的具体场景及技术原理: --- #### 1. **分支数量少(≤3个)且时序宽松** - **优势机制**: if-else综合后形成**级联的与-或门结构**,当分支数≤3时: - 路径延时$O(n)$中的$n$值较小,延时与case的$\log_2(n)$差距可忽略[^1] - 占用更少LUT资源(约减少15-30%) - **典型场景**: ```verilog // 2分支选择器(if-else更紧凑) always @(*) begin if (sel) out = a; else out = b; // 综合为1个MUX2:1 end ``` > 📌 **资源对比**:相同功能下,if-else比case节省1-2个LUT(FPGA实测)[^1] --- #### 2. **条件具有天然优先级** - **优势机制**: if-else的**串行特性直接映射优先级逻辑**,避免case的并行解码开销: - 优先级仲裁器(如中断控制器) - 错误检测链(如复位>使能>数据路径) - **实现示例**: ```verilog always @(*) begin if (reset) out = 0; // 最高优先级 else if (error) out = 1; // 次优先级 else out = data; // 最低优先级 end ``` > ⚠️ 若用case实现相同优先级需额外`priority case`修饰,增加综合约束复杂度[^3] --- #### 3. **条件表达式非互斥** - **优势机制**: if-else支持**任意布尔表达式**,而case仅匹配常量: ```verilog // 检测两个信号同时有效(if-else唯一实现方案) always @(*) begin if (a_valid && b_valid) out = a + b; else if (a_valid) out = a; else out = 0; end ``` - case无法直接处理`a_valid && b_valid`这类动态条件[^4] --- #### 4. **面积敏感型设计** - **优势机制**: 在资源受限场景(如IoT芯片): - if-else的优先级链可**复用比较逻辑**,减少总门数 - case的完整解码器在$n>4$时消耗更多组合资源[^1] - **数据对比**: | 分支数 | if-else门数 | case门数 | 优势偏差 | |--------|-------------|----------|----------| | 3 | 38 | 52 | -27% | | 4 | 72 | 68 | +5% | > 💡 **临界点**:当分支数=4时两者面积相当,<4时if-else占优[^1] --- #### 5. **异步复位/置位逻辑** - **优势机制**: if-else的**明确顺序**更适配控制信号: ```verilog always @(posedge clk or negedge rst_n) begin if (!rst_n) q <= 0; // 复位最高优先级 else if (set) q <= 1; // 置位次优先级 else if (en) q <= d; // 数据写入 end ``` - case在复位逻辑中需完整定义所有分支,增加冗余代码[^3] --- ### 性能选择决策树 ```mermaid graph TD A[分支需求分析] --> B{分支数≤3?} B -->|Yes| C{有优先级?} B -->|No| D[优先用case] C -->|Yes| E[if-else] C -->|No| F{条件互斥?} F -->|Yes| G[case] F -->|No| E A --> H{异步复位逻辑?} H -->|Yes| E ``` > **经验准则**: > - 优先使用`case`:等优先级多路选择、分支数≥4、关键路径优化 > - 选用`if-else`:分支≤3、明确优先级、非互斥条件、复位逻辑[^1][^3] --- #### 相关问题 1. 如何量化评估if-else和case在具体FPGA型号上的性能差异? 2. 在大型多路选择器中如何混合使用if-else和case实现最优PPA? 3. 针对低功耗设计if-else和case的静态功耗特性有何区别? 4. 使用SystemVerilog的`unique case`如何改变与if-else的性能对比? 5. 在异步电路设计中,if-else和case的亚稳态风险有何不同?
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值