当前位置:首页 > > 处芯积律

在systemverilog协议中,logic定义四态值,即向量(vector)的每个位(bit)可以是逻辑0, 1, Z或X,与verilog协议中的reg很接近。但是logic有个很明显的优势,不允许多驱动。

多驱动对关键字logic而言是语法错误,在VCS编译阶段就能够发现,能够更早得发现错误。

而在Verilog协议中,并没有强调reg是不允许多驱的,因此VCS等编译工具不会主动报错。

需要在spyglass lint才能检查出来,或者通过VCS 仿真发现。

在芯片设计中,更早的暴露问题一直是设计和验证人员追求的目标,因此在RTL编码时,如果正常设计是不允许多驱动的场景中,建议使用logic替代reg。

如下案例中:cfg_mode 被多驱动,在实际项目设计中,多驱动的问题往往更加隐蔽,更不容易发现。

moduletry_top (
inputclk                                  ,   //inputrst_n                                ,   //input[1:0]                                   cfg_mode_in                              //
);logic[1:0]  cfg_mode ;always_ff@(posedgeclk, negedge rst_n)if(~rst_n)cfg_mode<= 1'b0;elsecfg_mode<= cfg_mode_in;
always_ff@(posedgeclk, negedge rst_n)if(~rst_n)cfg_mode<= 1'b0;elsecfg_mode<= cfg_mode_in;


endmodule

VCS报错:

如下案例中:cfg_mode 被多驱动,但是申明成reg类型,因此VCS不会报ERROR。

moduletry_top(
    input                                               clk                                  ,   //    input                                               rst_n                                ,   //    input       [1:0]                                   cfg_mode_in                              //
);

   reg   [1:0]  cfg_mode ;
   always@(posedge clk or negedge rst_n)if(~rst_n)           cfg_mode <= 1'b0;else           cfg_mode <= cfg_mode_in;
   always@(posedge clk or negedge rst_n)if(~rst_n)           cfg_mode <= 1'b0;else           cfg_mode <= cfg_mode_in;


endmodule

本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
关闭