spyglass lint 非阻塞赋值问题

春阳空 · 发表于 2021-8-23 13:17:30

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

在lint检查的时候，如下示意RTL为什么不能查出问题：非阻塞赋值不能用于always组合逻辑
wire [1:0] A;
wire B_0;
reg B_s;

always @(*)  begin
case (A[1:0])
      2'b0: B_s <= B_0;
      2'b1: B_s <= B_1;
      2'b2: B_s <= B_2;
      2'b3: B_s <= B_3;
endcase
end

puxiancheng · 发表于 2021-8-23 13:43:48

你试着这段代码，把非阻塞改成阻塞

春阳空 · 发表于 2021-8-23 18:16:32

puxiancheng 发表于 2021-8-23 13:43
你试着这段代码，把非阻塞改成阻塞

改成阻塞没有问题。

A1985 · 发表于 2021-8-23 22:32:42

不算错,<= 可以生成comb rtl,可以加自己的rule

[求助] spyglass lint 非阻塞赋值问题

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。