讨论一个代码问题，涉及前后端，验证

cihchenlin

我们在设计代码时有两种写法：
1:
always@(*) begin
      
if(a==1'b1 && b==1'b1 && c==1'b1)

out = 1'b1;
        else

out = 1'b0;
end


2:
always@(*) begin
      if(a==1'b0)
           out = 1'b0;
      else if(b==1'b0)
           out = 1'b0;
      else if(c==1'b0)
           out = 1'b0;

       else

out = 1'b1;
end


1和2在写法上有不同：

1的话条件多，很多时候不便于分析，当条件名字长和多时，要几行才能写下来时。

2的写法比较便于分析，但是代码行数多。

1在仿真时，条件覆盖率比较难。

2在仿真时，条件覆盖率不是问题。

1和2在逻辑级数上是一样的。


现在想讨论下

1：两个写法在仿真上是还有那些不同？比如那个更占资源？边界条件覆盖上有那些区别？

2：在synophsys的工具中哪一种写法支持比较好？DC？

3：1和2在逻辑实现上是否一致？或者那个更优？

4：大家更支持哪种写法？