Coverage and sequences

Why OSVVM™?ForumsOSVVMCoverage and sequences


This topic has 2 voices, contains 1 reply, and was last updated by Avatar of Jim Lewis Jim Lewis 154 days ago.

Viewing 2 posts - 1 through 2 (of 2 total)
Author Posts
Author Posts
August 19, 2018 at 06:59 #1477
Avatar of Ledoux


I’m doing a testbench for an ALU.

In SystemVerilog is possible to create a bin for a sequence of ALU operations for example:

 typedef enum {add, sub, mult, and, or, xor, nand, nor} op_t;

op_t AluOp;

  ent1: coverpoint AluOp

         bins l1  = (and => or => mult);

         bins l2  = (mult => mult => add);


This bin will be activated only if those operation happen in this sequence. Is it possible to write a bin like that with OSVVM?

August 19, 2018 at 08:41 #1478
Avatar of Jim Lewis
Jim Lewis

Sure, it is easy.   Sequences imply history.   We create history explicitly just like RTL – by using clocked processes / flip-flops.  

Once you have history, this is just a simple cross product of selected current values and two previous values.  

WRT sampling, in OSVVM, we trigger on transaction completion using an explicit call to ICover.

Viewing 2 posts - 1 through 2 (of 2 total)

You must be logged in to reply to this topic.