sundingh的博客

assertion 作用 （1）检测一个条件有没有发生；（2）检测一系列动作有没有发生。可以直接介入硬件内部，bind到硬件。 1.当拍assert，“ |-> ”。 上升沿 always @(posedge clock) example1: assert(A && !B); 或者 property example1; @(posedge clock) A...

收集指定信号的范围、收集指定信号的特定值、收集指定多个信号的组合值或cross。 example： signal_a_cov : coverpoint intf.signal_a iff(intf.signal_a_vld) { bins signal_a_cov[] = {[0:9]}; } example： signal_a_cov : coverpoint intf.sig...

1. 产生随机数 （1）系统函数$urandom()或者std::urandom()； （2）系统函数$urandom_range(a,b)或者std::urandom_range(a,b)； 2. constraint 在class内部定义、编写。 constrain para_cons{ cfg_cons0==128； cfg_cons1 inside {1,...