a ##1 b[=2] ##1 c //a x x b x x x b x x c , then anytime later, c is ture a ##1 b[->2] ##1 c //a x x b x x x b c, at next cycle, c is ture a ##1 b[*1:5] ##1 c //a b b b b c 与上面的区别在于,所有的信号关系都是时钟连续的
大佬的SVA笔记易错点:a ##1 b[=2] ##1 c //a x x b x x x b x x c , then anytime later, c is turea ##1 b[->2] ##1 c //a x x b x x x b c, at next cycle, c is turea ##1 b[*1:5] ##1 c //a b b b b c 与上面的区别在于,所有的信号关系都是时钟连续的...