In reply to ben@SystemVerilog.us:
Thanks Ben!
I looked at your paper , Do you think i can consider such assertions in my testbench?
The model holds an image in a 25x25 matrix array.
Each pixel in that image is an unsigned integer. The image is partitioned into 25 slices or
quadrants, and the scoreboard needs to compute within a 5x5 slice the number of pixels
greater than 3. The image is loaded when done_image is true, and the slice to be selected
is determined at a new ld signal. The done_image occurs within 1 to 3 cycles after the ld
signal.
How can i achieve this?
If you are talking about a randomly generated image, you can impose that image against a reference model that creates the expected results.