Будет ли проблема для системных колонок функционального покрытия системы с подобными последовательностями?

Question

covergroup xxxx ; 
yyyy : coverpoint (zzzz) 
{ 
bins sequence_1 = {0=>1=>2=>3}; 
bins sequence_2 = {0=>1=>2=>3=>4}; 
bins sequence_3 = {0=>1=>2=>3=>4=>5=>6=>7=>8=>9}; 
bins sequence_4 = {0=>1=>2=>3=>4=>5=>6=>7=>8=>9=>10=>11=>12=>13=>14=>15=>16=>17}; 
bins sequence_5 = {0=>1=>2=>3=>4=>5=>6=>7=>8=>9=>10=>11=>12=>13=>14=>15=>16=>17=>18}; 
bins sequence_6 = {0=>1=>2=>3=>4=>5=>6=>7=>8=>9=>10=>11=>12=>13=>14=>15=>16=>17=>18=>19}; 

} 
endgroup 

• ZZZZ является регистром счетчика, который считает от 0 до 3,4,9,17,18 или 19 в зависимости от его входа

• При кодировании этого функционального охвата, идея заключается в том, чтобы ударить либо один из бункеров, если происходит определенная серия переходов, только один бит.

• так, если переходы, например от 0 до 4, как и в sequence_2, хотел бы, чтобы также ударил sequence_1, так как 0 до 3 последовательности присутствует в sequence_1

Благодаря

Answer 1

Да, если поражена последовательность_2, это означает, что последовательность_1 также попадает. То, что вы действительно хотите, - это охватить то, что происходит, когда счетчик достигает своего предела. то есть он возвращается к 0 или он остается на пределе в следующем цикле? Нет необходимости разрабатывать каждое промежуточное значение счетчика - обложка не является контрольной. Это только запись, что определенный сценарий в вашем тесте был достигнут.