Questions tagged [function-coverage]

Functional coverage measures the amount of functionality of a design that has been exercised in testing (not the number of functions that have been exercised).

Functional coverage measures the amount of functionality of a design that has been exercised in testing (not the number of functions that have been exercised).

In practice, the term is most frequently used in relation to chip design tools, which is confusing as "functionality" in chip design is very technical, so questions on that topic look a lot like questions on .

See also the more general topic of .

17 questions
3
votes
1 answer

Systemverilog coverage bins

I'm using system verilog coverage and i want to check bins range. I want it to be within the range 1000-2000 But only he values that are in mod 5 will be sampled. For example 1000, 1005, 1010 etc. Thanks for the help!
adir
  • 1,257
  • 2
  • 16
  • 22
3
votes
1 answer

SV: How to create functional coverage for transitions without having to worry about clock cycles?

Normally, I would just use repetition method for a lengthy sequence of time for a certain transition. ie. covergroup test1 @(posedge clk) coverpoint( signal[1], signal[0]) { bins transition1 = (2'b00[*1:100] =>2'b11[*1:100] => 2'b00) } Is…
user1539348
  • 513
  • 1
  • 7
  • 20
3
votes
1 answer

Acceptance Tests and Code Coverage

What is the best way to measure coverage for your Acceptance Tests?? How do you define how much your acceptance tests cover and when they are enough??
Nirmal Patel
  • 5,128
  • 8
  • 41
  • 52
2
votes
3 answers

How to cover latency between request and response

Let's say we have a protocol where request req is asserted with req_id and corresponding rsp will be asserted with rsp_id. These can be out of order. I want to cover the number of clks or latency between req with particular req_id and rsp with the…
user1978273
  • 484
  • 10
  • 24
2
votes
1 answer

How to get handle for a coverpoint?

How can I get a handle for a coverpoint so that I can call methods using that handle? First I need to know the type of a coverpoint so that I can instantiate the handle. Here is an example: class my_coverage_class; rand bit my_coverpoint; …
Victor Lyuboslavsky
  • 9,882
  • 25
  • 87
  • 134
1
vote
1 answer

Peculiar error for transition coverage

Hi all, I am facing a strange error message while debugging a code for functional coverage specifically transition coverage.There are two level pins for fifo1 and fifo2 respectively while doing coverage for the first level pin ie level1…
smashash
  • 37
  • 2
1
vote
2 answers

If a single test case can not make the functional coverage get nearly 100%, is it acceptable to use several test cases to hit every point?

Since it is very hard for a beginner to code a test case covering all points, I decided to code many test cases. Each test case can cover some coverage points. Combining all the cases into a coverage report, all the coverage points can be hit. I…
1
vote
2 answers

How to generate a detail report of functional coverage in Questasim?

How to generate the detailed coverage report of functional coverage? I am using following command to simulate my code : vlog -64 -work work -vopt +notimingchecks +cover +fcover -f pcie_jammer.f vsim -novopt -c -t ps…
1
vote
1 answer

PhpUnit + Symfony: Why coverage shows white instead of red and gives 100% on untested class?

I have a problem and I have created an empty project to reproduce the minimal situation that makes it repeatable. Problem A project with untested classes gives 100% coverage. The problematic methods are not indirectly called from somewhere else.…
Xavi Montero
  • 9,239
  • 7
  • 57
  • 79
1
vote
1 answer

Specman e: How to disable coverage of an instances / units?

In my verification environment under sys there is an instance of timer_sve. Under timer_sve I have 2 other instances: timer and ocp_master: extend sys { timer_sve : timer_sve_u is instance; }; unit timer_sve_u { timer : timer_u is…
Halona
  • 1,475
  • 1
  • 15
  • 26
1
vote
2 answers

How to dynamically Constrain range of coverage item in specman?

Signal x is a one hot signal of bits 'n' I would like to cover only one hot values of the signal and not interested in other values. Ex: if a signal x is of 3 bits then I would like does x is reaching below values are not. x == 3'b001 x == 3'b010 x…
0
votes
1 answer

How to implement transition coverage on non-consecutive sampling points?

var_1 changes from value 0 to 1 then from 1 to 2 and so on till 15, but not on consecutive sampling points. I sample on every clock cycle, but the value might change after some arbitrary clk cycles. The transition coverage I write does not work. Can…
sandywho
  • 353
  • 1
  • 7
  • 16
0
votes
1 answer

Define Coverage Bin in System Verilog using Incremental Values

I am trying to define coverage using systemverilog for a large coverage area. For example, I would like to define a coverage bin that starts at 24'h000000, ends at 24'h001ff0, and increments by 24'h000008. I have tried this so far; however, it…
0
votes
2 answers

Dynamic Coverpoints in Coverage Systemverilog

class conf; typedef struct packed { int ns_size; int limit; } ns; int num_ns_supported; ns num_ns[]; function new(input int s=5); num_ns_supported = s; num_ns = new[s]; foreach(num_ns[i]) begin …
Karan Shah
  • 1,912
  • 1
  • 29
  • 42
0
votes
1 answer

How to get source of a sampled bin in Coverage in QuestaSIM

I'm using QuestaSIM and have a merged coverage report from regression. From my merged coverage report, how can I trace a sampled bin back to its simulation (test name & seed value)?
Karan Shah
  • 1,912
  • 1
  • 29
  • 42
1
2