Declare a coverpoint for consecutive signals

SystemVerilog
, , ,
3

In reply to jcraft:

Thanks, I took a look into the LRM and what you suggested is a suitable solution to how I should define the back-to-back transaction.

cp_read : coverpoint cov_item.read {
  bins value0 = {0};
  bins value1 = {1};
  bins read_after_read = (1 [* 2]);
}