Skip to content

Commit c843ba2

Browse files
jordancarlinjordancarlin
committed
Check in generated coverpoints
1 parent 0ed505b commit c843ba2

9 files changed

Lines changed: 60 additions & 60 deletions

‎coverpoints/unpriv/D_coverage.svh‎

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ covergroup D_fadd_d_cg with function sample(ins_t ins);
4141
wildcard bins NX1 = (5'b????1 => 5'b????1);
4242
}
4343

44-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
44+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
4545
// Value of FCSR.frm during dynamic rounding
4646
bins rne = {3'b000};
4747
bins rtz = {3'b001};
@@ -458,7 +458,7 @@ covergroup D_fcvt_s_d_cg with function sample(ins_t ins);
458458
wildcard bins NX1 = (5'b????1 => 5'b????1);
459459
}
460460

461-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
461+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
462462
// Value of FCSR.frm during dynamic rounding
463463
bins rne = {3'b000};
464464
bins rtz = {3'b001};
@@ -549,7 +549,7 @@ covergroup D_fcvt_w_d_cg with function sample(ins_t ins);
549549
wildcard bins NX1 = (5'b????1 => 5'b????1);
550550
}
551551

552-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
552+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
553553
// Value of FCSR.frm during dynamic rounding
554554
bins rne = {3'b000};
555555
bins rtz = {3'b001};
@@ -642,7 +642,7 @@ covergroup D_fcvt_wu_d_cg with function sample(ins_t ins);
642642
wildcard bins NX1 = (5'b????1 => 5'b????1);
643643
}
644644

645-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
645+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
646646
// Value of FCSR.frm during dynamic rounding
647647
bins rne = {3'b000};
648648
bins rtz = {3'b001};
@@ -755,7 +755,7 @@ covergroup D_fdiv_d_cg with function sample(ins_t ins);
755755

756756
//// end cp_csr_fflags_vdoun////////////////////////////////////////////////
757757

758-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
758+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
759759
// Value of FCSR.frm during dynamic rounding
760760
bins rne = {3'b000};
761761
bins rtz = {3'b001};
@@ -1350,7 +1350,7 @@ covergroup D_fmadd_d_cg with function sample(ins_t ins);
13501350
wildcard bins NX1 = (5'b????1 => 5'b????1);
13511351
}
13521352

1353-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
1353+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
13541354
// Value of FCSR.frm during dynamic rounding
13551355
bins rne = {3'b000};
13561356
bins rtz = {3'b001};
@@ -1848,7 +1848,7 @@ covergroup D_fmsub_d_cg with function sample(ins_t ins);
18481848
wildcard bins NX1 = (5'b????1 => 5'b????1);
18491849
}
18501850

1851-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
1851+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
18521852
// Value of FCSR.frm during dynamic rounding
18531853
bins rne = {3'b000};
18541854
bins rtz = {3'b001};
@@ -2062,7 +2062,7 @@ covergroup D_fmul_d_cg with function sample(ins_t ins);
20622062
wildcard bins NX1 = (5'b????1 => 5'b????1);
20632063
}
20642064

2065-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
2065+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
20662066
// Value of FCSR.frm during dynamic rounding
20672067
bins rne = {3'b000};
20682068
bins rtz = {3'b001};
@@ -2255,7 +2255,7 @@ covergroup D_fnmadd_d_cg with function sample(ins_t ins);
22552255
wildcard bins NX1 = (5'b????1 => 5'b????1);
22562256
}
22572257

2258-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
2258+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
22592259
// Value of FCSR.frm during dynamic rounding
22602260
bins rne = {3'b000};
22612261
bins rtz = {3'b001};
@@ -2473,7 +2473,7 @@ covergroup D_fnmsub_d_cg with function sample(ins_t ins);
24732473
wildcard bins NX1 = (5'b????1 => 5'b????1);
24742474
}
24752475

2476-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
2476+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
24772477
// Value of FCSR.frm during dynamic rounding
24782478
bins rne = {3'b000};
24792479
bins rtz = {3'b001};
@@ -3152,7 +3152,7 @@ covergroup D_fsqrt_d_cg with function sample(ins_t ins);
31523152
wildcard bins NX1 = (5'b????1 => 5'b????1);
31533153
}
31543154

3155-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
3155+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
31563156
// Value of FCSR.frm during dynamic rounding
31573157
bins rne = {3'b000};
31583158
bins rtz = {3'b001};
@@ -3256,7 +3256,7 @@ covergroup D_fsub_d_cg with function sample(ins_t ins);
32563256
wildcard bins NX1 = (5'b????1 => 5'b????1);
32573257
}
32583258

3259-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
3259+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
32603260
// Value of FCSR.frm during dynamic rounding
32613261
bins rne = {3'b000};
32623262
bins rtz = {3'b001};
@@ -3425,7 +3425,7 @@ covergroup D_fcvt_d_l_cg with function sample(ins_t ins);
34253425
wildcard bins NX1 = (5'b????1 => 5'b????1);
34263426
}
34273427

3428-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
3428+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
34293429
// Value of FCSR.frm during dynamic rounding
34303430
bins rne = {3'b000};
34313431
bins rtz = {3'b001};
@@ -3496,7 +3496,7 @@ covergroup D_fcvt_d_lu_cg with function sample(ins_t ins);
34963496
wildcard bins NX1 = (5'b????1 => 5'b????1);
34973497
}
34983498

3499-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
3499+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
35003500
// Value of FCSR.frm during dynamic rounding
35013501
bins rne = {3'b000};
35023502
bins rtz = {3'b001};
@@ -3569,7 +3569,7 @@ covergroup D_fcvt_l_d_cg with function sample(ins_t ins);
35693569
wildcard bins NX1 = (5'b????1 => 5'b????1);
35703570
}
35713571

3572-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
3572+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
35733573
// Value of FCSR.frm during dynamic rounding
35743574
bins rne = {3'b000};
35753575
bins rtz = {3'b001};
@@ -3662,7 +3662,7 @@ covergroup D_fcvt_lu_d_cg with function sample(ins_t ins);
36623662
wildcard bins NX1 = (5'b????1 => 5'b????1);
36633663
}
36643664

3665-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
3665+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
36663666
// Value of FCSR.frm during dynamic rounding
36673667
bins rne = {3'b000};
36683668
bins rtz = {3'b001};

‎coverpoints/unpriv/F_coverage.svh‎

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ covergroup F_fadd_s_cg with function sample(ins_t ins);
4141
wildcard bins NX1 = (5'b????1 => 5'b????1);
4242
}
4343

44-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
44+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
4545
// Value of FCSR.frm during dynamic rounding
4646
bins rne = {3'b000};
4747
bins rtz = {3'b001};
@@ -207,7 +207,7 @@ covergroup F_fcvt_s_w_cg with function sample(ins_t ins);
207207
wildcard bins NX1 = (5'b????1 => 5'b????1);
208208
}
209209

210-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
210+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
211211
// Value of FCSR.frm during dynamic rounding
212212
bins rne = {3'b000};
213213
bins rtz = {3'b001};
@@ -278,7 +278,7 @@ covergroup F_fcvt_s_wu_cg with function sample(ins_t ins);
278278
wildcard bins NX1 = (5'b????1 => 5'b????1);
279279
}
280280

281-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
281+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
282282
// Value of FCSR.frm during dynamic rounding
283283
bins rne = {3'b000};
284284
bins rtz = {3'b001};
@@ -351,7 +351,7 @@ covergroup F_fcvt_w_s_cg with function sample(ins_t ins);
351351
wildcard bins NX1 = (5'b????1 => 5'b????1);
352352
}
353353

354-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
354+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
355355
// Value of FCSR.frm during dynamic rounding
356356
bins rne = {3'b000};
357357
bins rtz = {3'b001};
@@ -424,7 +424,7 @@ covergroup F_fcvt_wu_s_cg with function sample(ins_t ins);
424424
wildcard bins NX1 = (5'b????1 => 5'b????1);
425425
}
426426

427-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
427+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
428428
// Value of FCSR.frm during dynamic rounding
429429
bins rne = {3'b000};
430430
bins rtz = {3'b001};
@@ -517,7 +517,7 @@ covergroup F_fdiv_s_cg with function sample(ins_t ins);
517517

518518
//// end cp_csr_fflags_vdoun////////////////////////////////////////////////
519519

520-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
520+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
521521
// Value of FCSR.frm during dynamic rounding
522522
bins rne = {3'b000};
523523
bins rtz = {3'b001};
@@ -954,7 +954,7 @@ covergroup F_fmadd_s_cg with function sample(ins_t ins);
954954
wildcard bins NX1 = (5'b????1 => 5'b????1);
955955
}
956956

957-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
957+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
958958
// Value of FCSR.frm during dynamic rounding
959959
bins rne = {3'b000};
960960
bins rtz = {3'b001};
@@ -1313,7 +1313,7 @@ covergroup F_fmsub_s_cg with function sample(ins_t ins);
13131313
wildcard bins NX1 = (5'b????1 => 5'b????1);
13141314
}
13151315

1316-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
1316+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
13171317
// Value of FCSR.frm during dynamic rounding
13181318
bins rne = {3'b000};
13191319
bins rtz = {3'b001};
@@ -1470,7 +1470,7 @@ covergroup F_fmul_s_cg with function sample(ins_t ins);
14701470
wildcard bins NX1 = (5'b????1 => 5'b????1);
14711471
}
14721472

1473-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
1473+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
14741474
// Value of FCSR.frm during dynamic rounding
14751475
bins rne = {3'b000};
14761476
bins rtz = {3'b001};
@@ -1691,7 +1691,7 @@ covergroup F_fnmadd_s_cg with function sample(ins_t ins);
16911691
wildcard bins NX1 = (5'b????1 => 5'b????1);
16921692
}
16931693

1694-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
1694+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
16951695
// Value of FCSR.frm during dynamic rounding
16961696
bins rne = {3'b000};
16971697
bins rtz = {3'b001};
@@ -1852,7 +1852,7 @@ covergroup F_fnmsub_s_cg with function sample(ins_t ins);
18521852
wildcard bins NX1 = (5'b????1 => 5'b????1);
18531853
}
18541854

1855-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
1855+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
18561856
// Value of FCSR.frm during dynamic rounding
18571857
bins rne = {3'b000};
18581858
bins rtz = {3'b001};
@@ -2280,7 +2280,7 @@ covergroup F_fsqrt_s_cg with function sample(ins_t ins);
22802280
wildcard bins NX1 = (5'b????1 => 5'b????1);
22812281
}
22822282

2283-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
2283+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
22842284
// Value of FCSR.frm during dynamic rounding
22852285
bins rne = {3'b000};
22862286
bins rtz = {3'b001};
@@ -2363,7 +2363,7 @@ covergroup F_fsub_s_cg with function sample(ins_t ins);
23632363
wildcard bins NX1 = (5'b????1 => 5'b????1);
23642364
}
23652365

2366-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
2366+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
23672367
// Value of FCSR.frm during dynamic rounding
23682368
bins rne = {3'b000};
23692369
bins rtz = {3'b001};
@@ -2542,7 +2542,7 @@ covergroup F_fcvt_l_s_cg with function sample(ins_t ins);
25422542
wildcard bins NX1 = (5'b????1 => 5'b????1);
25432543
}
25442544

2545-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
2545+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
25462546
// Value of FCSR.frm during dynamic rounding
25472547
bins rne = {3'b000};
25482548
bins rtz = {3'b001};
@@ -2615,7 +2615,7 @@ covergroup F_fcvt_lu_s_cg with function sample(ins_t ins);
26152615
wildcard bins NX1 = (5'b????1 => 5'b????1);
26162616
}
26172617

2618-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
2618+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
26192619
// Value of FCSR.frm during dynamic rounding
26202620
bins rne = {3'b000};
26212621
bins rtz = {3'b001};
@@ -2686,7 +2686,7 @@ covergroup F_fcvt_s_l_cg with function sample(ins_t ins);
26862686
wildcard bins NX1 = (5'b????1 => 5'b????1);
26872687
}
26882688

2689-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
2689+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
26902690
// Value of FCSR.frm during dynamic rounding
26912691
bins rne = {3'b000};
26922692
bins rtz = {3'b001};
@@ -2757,7 +2757,7 @@ covergroup F_fcvt_s_lu_cg with function sample(ins_t ins);
27572757
wildcard bins NX1 = (5'b????1 => 5'b????1);
27582758
}
27592759

2760-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
2760+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
27612761
// Value of FCSR.frm during dynamic rounding
27622762
bins rne = {3'b000};
27632763
bins rtz = {3'b001};

‎coverpoints/unpriv/ZfaD_coverage.svh‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -648,7 +648,7 @@ covergroup ZfaD_fround_d_cg with function sample(ins_t ins);
648648
wildcard bins NV1 = (5'b1???? => 5'b1????);
649649
}
650650

651-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
651+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
652652
// Value of FCSR.frm during dynamic rounding
653653
bins rne = {3'b000};
654654
bins rtz = {3'b001};
@@ -746,7 +746,7 @@ covergroup ZfaD_froundnx_d_cg with function sample(ins_t ins);
746746
wildcard bins NX1 = (5'b????1 => 5'b????1);
747747
}
748748

749-
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "fcsr", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
749+
cp_csr_frm : coverpoint get_csr_val(ins.hart, ins.issue, `SAMPLE_BEFORE, "frm", "frm") iff (ins.trap == 0 & ins.current.insn[14:12] == 3'b111) {
750750
// Value of FCSR.frm during dynamic rounding
751751
bins rne = {3'b000};
752752
bins rtz = {3'b001};

0 commit comments

Comments
 (0)