Login

16 Constrain addr in range. Collect coverage

Sep 26, 2017 | Constraint, Coverage
Use constraints to restrict an address and range to be within a memory.Use coverage to collect results.
Click to Play Video ▶
Avatar
linc 12 months ago

With modern simulator, there are errors now. This code needs review.

xmsim: E,ASRTST (./testbench.sv,33): (time 0 FS) Assertion top.class1@1_1.post_randomize.as_all_in_range has failed
ERROR. OUT OF RANGE.
**** addr:92 xfer_num:6 burst_num:14. coverage:0.00%
xmsim: *E,ASRTST (./testbench.sv,33): (time 0 FS) Assertion top.class1@1_1.post_randomize.as_all_in_range has failed
ERROR. OUT OF RANGE.

Reply
Avatar
New comment as
Use Markdown for formatting. 
[Link](http://example.com/)
 Link 
*Italic*
 Italic 
**Bold**
 Bold 
* Listed
* Items
  • Listed
  • Items
 
> Block quote

Block quote

 
`Inline code`
 Inline code 
``` ruby
puts "code block"
```
                    
1

puts "code block"