In a SV sequence bin, is there a way to express that the sequence must start with the very first sample of the coverpoint? For example
startup_trans: coverpoint my_bit {
bins normal_start = (0 => 1);
}
The sequence (0 => 1) can occur many times during a test, but I only want the normal_start bin be filled if the very first sample in the test is 0, and the second sample is 1. Is there a way to express this in SV?