spyglass检查位宽问题

slideshare

求助：
wire [7:0] a ;
wire b;
assign a={7{b}};
a正确的值是{8{b}}，不小心写错了，请问用spyglass能检查出来吗？
我试了一下，没有检查出来，是不是需要打开什么设置？