摘要： Author: RuiReference from the website and wikipediaSomething to mention:1.$display always to display the last sampled value,may cause some mismatch in the screen output2.parameterized module design help to scalingGrey encoder//greyencoder,frombinaryinputtogreyoutput//algorithm://fromrightmost,x[i]xo 阅读全文

摘要： 1. 需要注意的是 nonconsecutive [=M:N]和 goto repetition[-> M:N]的区别例子(SVA handbook)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 tureconsecutive range的例子a ##1 b[*1:5] ##1 c //a b b b b c 与上面的区别在于，所有的信号关系都是时钟连续的2. Pr 阅读全文