ASSERT | PROPERTIES | SEQUENCES | |
Total | 8064 | 0 | 226 |
Category 0 | 8064 | 0 | 226 |
ASSERT | PROPERTIES | SEQUENCES | |
Total | 8064 | 0 | 226 |
Severity 0 | 8064 | 0 | 226 |
NUMBER | PERCENT | |
Total Number | 8064 | 100.00 |
Uncovered | 0 | 0.00 |
Success | 8064 | 100.00 |
Failure | 0 | 0.00 |
Incomplete | 0 | 0.00 |
Without Attempts | 0 | 0.00 |
NUMBER | PERCENT | |
Total Number | 226 | 100.00 |
Uncovered | 0 | 0.00 |
All Matches | 226 | 100.00 |
First Matches | 226 | 100.00 |
ASSERTIONS | CATEGORY | SEVERITY | ATTEMPTS | REAL SUCCESSES | FAILURES | INCOMPLETE | |
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.rspfifo.WreadyKnown_A | 0 | 0 | 183670821 | 183545320 | 0 | 0 | |
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass | 0 | 0 | 900 | 900 | 0 | 0 | |
tb.dut.u_s1n_28.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A | 0 | 0 | 900 | 900 | 0 | 0 | |
tb.dut.u_s1n_28.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck | 0 | 0 | 900 | 900 | 0 | 0 | |
tb.dut.u_s1n_28.maxN | 0 | 0 | 900 | 900 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |