VCS覆盖率问题

lovemei · 发表于 2010-5-18 22:52:38

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

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

x

现在使用VCS统计代码覆盖率，遇到一些问题请教大家
目前覆盖率统计设定为 -cm  line+fsm+cond
但是对下在的电路
第一种写法：
always @(*) begin
a = b & c;
end
如果我使b一直等于0，那些正常情况下VCS应该会报b==1的情况没有被覆盖到，但是VCS并没有报

如果按照下面这样写则会报
第二种写法：
always @(*) begin
  if(b&c)
a = 1'b1;
  else
a = 1'b0;
end

但是我觉得电路完全没有必要按照下面的写法

那么请问如何能让VCS的覆盖率覆盖到第一种写法（表达式覆盖率）

谢谢各位大侠！！