Jump to content
c4brian

Am I done testing yet? A (fun!) coverage question..

Recommended Posts

I want to verify the following behavior:

"DUT shall only accept command A, and reject all others while in the Powerup state.  While not in Powerup, accept all commands"

This is the state of the DUT following a reset.

 

Option 1 - No covergroup

After a reset, send all commands that are NOT A, followed by command A.  If the scoreboard doesn't fail, then I'm good to go.

 

Option 2 - Covergroup

Have a monitor hanging off an agent that, when it detects a command is written, it crossed the state of the DUT with the command being written.

 

With option 1, I have no coverage metric that the test was even performed.  However, I can very quickly write a test, and it doesn't require any components.  The integrity of the test is paramount here.

With option 2, I've got to use a bound virtual interface to access the state bits of the DUT, and also build a coverage collector.

 

-------------------------------------------------------------------------------------------------------------------

My heart wants to simply define my coverage model entirely via covergroups, and then generate stimuli until I meet 100%.

My brain, however, says no, no...  don't verify that you sent the sequence Cmd A -> Cmd C -> Cmd E -> Cmd A, just write a directed test that does that.

 

Thoughts?

Share this post


Link to post
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Guest
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.


×
×
  • Create New...