• Verilog 代码规范


            代码规范是在一定程度上必须要遵从的规则,否则可能会对数字电路逻辑的正确性造成一定影响。

    关于赋初值

            变量声明时不要对变量进行赋初值操作。如果变量声明时设置初始值,仿真时变量会有期望的初值,但综合后电路的初始值是不确定的。如果信号初值会影响逻辑功能,则仿真过程可能会因验证不充分而错过查找出逻辑错误的机会。例如下面描述是不建议的:

        reg [31:0]      wdata = 32'b0 ;

            赋初值操作应该在复位状态下完成,也建议寄存器变量都使用复位端,以保证系统上电或紊乱时,可以通过复位操作让系统恢复初始状态。建议设计时,时钟采用正边沿逻辑,复位采用负边沿逻辑。复位时语句块中所有的信号都应该赋予初值,不要漏掉相关信号。

    1. always @(posedge clk or negedge rstn) begin
    2. if (!rstn) begin
    3. cnt <= 'b0 ; //漏掉 cout 赋初值,很危险
    4. end
    5. else if (cnt == 10) begin
    6. cnt <= 4'b0 ;
    7. cout <= 1'b1 ;
    8. end
    9. else begin
    10. cnt <= cnt + 1'b1 ;
    11. cout <= 1'b0 ;
    12. end
    13. end

    关于 always 语句

            不到万不得已不要在 2 个 always 块中分别使用同一时钟的上升沿和下降沿逻辑,否则会引入相对复杂的时钟质量和时序约束的问题。

    1.    //建议尽量避免 2 个 always 块 2 个时钟边沿的逻辑
    2.    always @(posedge clk) begin
    3.       a <= b ;
    4.    end
    5.    always @(negedge clk) begin
    6.       c <= d ;
    7.    end

            禁止在一个 always 块中同时将时钟的双边沿作为触发条件,编译、仿真可能会按照设计人员的思想进行,但此类电路往往不可综合,或综合后电路功能不会符合预期。

    1.    //禁止一个 always 块中使用双边沿逻辑
    2.    always @(posedge clk or negedge clk) begin
    3.       a <= b ;
    4.    end  

            禁止在 2 个 always 块中为同一个变量赋值。

    1.   //此设计是错误的
    2.    always @(posedge clk) begin
    3.       a <= b ;
    4.    end
    5.    always @(negedge clk) begin
    6.       a <= d ;
    7.    end

            一个 always 块中不要存在多个并行或不相关的条件语句,使用多个 always 分别描述。当一个 always 语句中存在多个并行或不相关的条件语句时,仿真的执行结果或综合的实际电路中,不相关的条件语句都是并行执行的。但是仿真过程可能是顺序执行的,如果有延迟信息可能会导致不可以预知的错误结果。且该写法可读性较差,功能结构划分不明显。

    1.     //不推荐
    2.     always @(posedge clk) begin
    3.         if (a == b)
    4.             data_t1 <= data1 ;
    5.         if (a == b && c == d)
    6.             data_t2 <= data2 ;
    7.         else
    8.             data_t2 <= 'b0 ;
    9.     end
    10.    
    11.     //推荐分开写
    12.     always @(posedge clk) begin
    13.         if (a == b)
    14.             data_t1 <= data1 ;
    15.     end
    16.     always @(posedge clk) begin
    17.         if (a == b && c == d)
    18.             data_t2 <= data2 ;
    19.         else
    20.             data_t2 <= 'b0
    21.     end

    关于时钟与异步

            设计中尽量使用同步设计。必须要使用异步逻辑时,一定要对不同时钟域之间的信号进行同步处理,不能直接使用相关信号,否则会产生亚稳态电路。

    尽量不要直接将时钟信号与普通变量信号做逻辑操作,或对时钟信号进行电平信号的检测判断。例如下列描述都是不建议的。

    1.     assign clk_gate = clk & clken ;
    2.     assign dout = (clk == 1'b1) ? din : 0 ;
    3.     always @(posedge clk) begin
    4.         if (clk = 1'b1)
    5.             data_t1 <= data1 ;
    6.     end    

    不同条件下对时钟进行选择时,不能直接使用选择逻辑,否则会出现毛刺现象。

    关于综合

            一般情况下信号变量不要直接使用乘法 *、除法 /、求余数 % 等操作。这些操作符被综合后,结构和时序往往不易控制。应该使用相关优化后的 ip 模块或工艺库中的集成模块。但是 parameter 类型的常量就可以使用此类操作符,因为在编译之初编译器就会计算出常量运算的结果,不会消耗多余的硬件资源。

            组合逻辑的条件语句中条件补充完整,组合逻辑的 always 语句中敏感信号要罗列完全,以避免不期望的 Latch 产生。逻辑设计时要考虑代码能不能综合成实际电路,会综合成什么样的电路。

    关于例化

            例化时,连接输入端的信号可以是 reg 型或 wire 型变量,连接输出端的信号一定是 wire 型变量。但是端口信号声明时,输入信号必须是 wire 型变量,输出信号可以是 reg 型或 wire 型变量。

    多个模块例化时,模块名字在前,例化名字在后,且例化名字不能相同。

  • 相关阅读:
    ds套dp——考虑位置转移or值域转移:CF1762F
    【Elasticsearch】Elasticsearch环境搭建
    DBeaver连接开启sm3认证的瀚高数据库
    代码随想录训练营二刷第三十九天 | 62.不同路径 63. 不同路径 II
    Codeforces Round #813 (Div. 2) E. LCM Sum (lcm 离线+树状数组)
    小程序中如何(批量)打印订单的小票、标签、发货单和电子面单
    Android设计模式--工厂模式
    Ubuntu MySQL
    python:打印九九乘法表、直角三角形、等腰三角形、正方形
    使用 Golang 实现基于时间的一次性密码 TOTP
  • 原文地址:https://blog.csdn.net/qq_33300585/article/details/127928676