3

通常、特定のトランジションの長い時間のシーケンスに対して繰り返しメソッドを使用するだけです。

すなわち。

  covergroup test1 @(posedge clk)
  coverpoint( signal[1], signal[0]) 
 {
  bins transition1 = (2'b00[*1:100] =>2'b11[*1:100] => 2'b00) 
 }

複数のトランジションをチェックする別の方法はありますが、繰り返しの制限は設定されていません。明確にするために、特定の遷移が発生したかどうかを確認できるようにしたいのですが、時間 (clk サイクル) は気にしません。

4

1 に答える 1

4

カバーグループのサンプリング イベントを定義しないでください。つまり、@(posedge clk) [*1:100] なしでカバーポイントを定義せず、次を使用してサンプリングします。covergroup_name.sample()

于 2013-08-05T09:53:56.723 に答える