Subject: Re: [sv-ac] cover requirements
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Feb 24 2003 - 09:47:00 PST
Good morning Steve;
Here is an example of a coverage sequence that has interesting information within it,
but does not seem to be referenced in this list of data:
Result of coverage directive for a sequence is:
1) Number of times attempted
2) Number of times matched (each attempt can generate multiple matches)
statement_or_null gets executed for every match. If there are multiple matches at the
same time, the statement gets executed multiple times, one for each match.
3) Each attempt with attemptId and time
4) Each match with clock step, attemptId and time
cover @(posedge clk) (valid; $inset(cmd, c1, c2, c3, c4, c5));
It is interesting to see what commands occurred when the sequence matches.
Yes, you could write:
cover @(posedge clk) (valid; cmd == c1);
cover @(posedge clk) (valid; cmd == c2);
...
But that is a little lengthy given that there was probably written also:
assert @(posedge clk) valid => 1; $inset(cmd, c1, c2, c3, c4, c5));
THanks.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Mon Feb 24 2003 - 09:52:47 PST