NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.MEMORY_REGISTERS_INST.TEST_REGISTERS_GEN_TRUE.TEST_REGISTERS_REG_MAP_COMP

File:  /__w/ctu-can-regression/ctu-can-regression/src/memory_registers/generated/test_registers_reg_map.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average
ADDRESS_DECODER_TEST_REGISTERS_COMP 100.0 % (15/15) 100.0 % (10/10) 100.0 % (42/42) 100.0 % (2/2) N.A. N.A. 100.0 % (69/69)
TST_CONTROL_TMAENA_REG_COMP 100.0 % (5/5) 100.0 % (6/6) 100.0 % (18/18) 100.0 % (10/10) N.A. N.A. 100.0 % (39/39)
TST_CONTROL_TWRSTB_REG_COMP 100.0 % (4/4) 100.0 % (2/2) 100.0 % (18/18) 100.0 % (8/8) N.A. N.A. 100.0 % (32/32)
TST_DEST_TST_ADDR_SLICE_1_REG_COMP 100.0 % (33/33) 100.0 % (48/48) 100.0 % (60/60) 100.0 % (38/38) N.A. N.A. 100.0 % (179/179)
TST_DEST_TST_ADDR_SLICE_2_REG_COMP 100.0 % (33/33) 100.0 % (48/48) 100.0 % (60/60) 100.0 % (38/38) N.A. N.A. 100.0 % (179/179)
TST_DEST_TST_MTGT_REG_COMP 100.0 % (17/17) 100.0 % (24/24) 100.0 % (36/36) 100.0 % (22/22) N.A. N.A. 100.0 % (99/99)
TST_WDATA_TST_WDATA_SLICE_1_REG_COMP 100.0 % (33/33) 100.0 % (48/48) 100.0 % (60/60) 100.0 % (38/38) N.A. N.A. 100.0 % (179/179)
TST_WDATA_TST_WDATA_SLICE_2_REG_COMP 100.0 % (33/33) 100.0 % (48/48) 100.0 % (60/60) 100.0 % (38/38) N.A. N.A. 100.0 % (179/179)
TST_WDATA_TST_WDATA_SLICE_3_REG_COMP 100.0 % (33/33) 100.0 % (48/48) 100.0 % (60/60) 100.0 % (38/38) N.A. N.A. 100.0 % (179/179)
TST_WDATA_TST_WDATA_SLICE_4_REG_COMP 100.0 % (33/33) 100.0 % (48/48) 100.0 % (60/60) 100.0 % (38/38) N.A. N.A. 100.0 % (179/179)

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.MEMORY_REGISTERS_INST.TEST_REGISTERS_GEN_TRUE.TEST_REGISTERS_REG_MAP_COMP 100.0 % (15/15) 100.0 % (13/13) 100.0 % (590/590) 100.0 % (16/16) N.A. 100.0 % (7/7) 100.0 % (641/641)

Details:

The limit of printed items was reached (5000). Total 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

116:    write_en <= be when (write = '1' and cs = '1') else (others => '0'); 
Count: 56217278
Threshold: 1

Signal assignment statement:

116:    write_en <= be when (write = '1' and cs = '1') else (others => '0'); 
Count: 219247
Threshold: 1

Signal assignment statement:

116:    write_en <= be when (write = '1' and cs = '1') else (others => '0')
Count: 55998031
Threshold: 1

Sequential statement:

311:    with address(7 downto 2) select r_data_comb <= 
312:        '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & 
...
319:        test_registers_in.tst_rdata_tst_rdata when "000011", 
320:        (others => '0') when others; 

Count: 55856041
Threshold: 1

Signal assignment statement:

312:        '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & 
313:        test_registers_out_i.tst_control_twrstb & 
314:        test_registers_out_i.tst_control_tmaena when "000000", 

Count: 137909
Threshold: 1

Signal assignment statement:

315:        '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & '0' & 
316:        test_registers_out_i.tst_dest_tst_mtgt & 
317:        test_registers_out_i.tst_dest_tst_addr when "000001", 

Count: 397465
Threshold: 1

Signal assignment statement:

318:        test_registers_out_i.tst_wdata_tst_wdata when "000010", 
Count: 9675571
Threshold: 1

Signal assignment statement:

319:        test_registers_in.tst_rdata_tst_rdata when "000011", 
Count: 149084
Threshold: 1

Signal assignment statement:

320:        (others => '0') when others; 
Count: 45496012
Threshold: 1

If statement:

327:        if (res_n = '0') then 
328:            r_data <= (others => '0'); 
...
332:            end if; 
333:        end if; 

Count: 26555802
Threshold: 1

Signal assignment statement:

328:            r_data <= (others => '0'); 
Count: 15860
Threshold: 1

If statement:

330:            if (cs = '1' and read = '1') then 
331:                r_data <= r_data_comb and read_data_mask_n; 
332:            end if; 

Count: 13263556
Threshold: 1

Signal assignment statement:

331:                r_data <= r_data_comb and read_data_mask_n; 
Count: 93759
Threshold: 1

Signal assignment statement:

340:      be(3) & be(3) & be(3) & be(3) & be(3) & be(3) & be(3) & be(3) &  
341:      be(2) & be(2) & be(2) & be(2) & be(2) & be(2) & be(2) & be(2) &  
342:      be(1) & be(1) & be(1) & be(1) & be(1) & be(1) & be(1) & be(1) &  
343:      be(0) & be(0) & be(0) & be(0) & be(0) & be(0) & be(0) & be(0) ; 

Count: 55589666
Threshold: 1

Signal assignment statement:

345:    Test_registers_out <= Test_registers_out_i
Count: 202367
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition:

116:    write_en <= be when (write = '1' and cs = '1') else (others => '0'); 
Evaluated toCountThreshold
BinTrue2192471
BinFalse559980311

"case" / "with" / "select" choice:

314:        test_registers_out_i.tst_control_tmaena when "000000"
Choice ofCountThreshold
Bin"000000"1379091

"case" / "with" / "select" choice:

317:        test_registers_out_i.tst_dest_tst_addr when "000001"
Choice ofCountThreshold
Bin"000001"3974651

"case" / "with" / "select" choice:

318:        test_registers_out_i.tst_wdata_tst_wdata when "000010"
Choice ofCountThreshold
Bin"000010"96755711

"case" / "with" / "select" choice:

319:        test_registers_in.tst_rdata_tst_rdata when "000011"
Choice ofCountThreshold
Bin"000011"1490841

"case" / "with" / "select" choice:

320:        (others => '0') when others
Choice ofCountThreshold
Binothers454960121

"if" / "when" / "else" condition:

327:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue158601
BinFalse265399421

"if" / "when" / "else" condition:

329:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue132635561
BinFalse132763861

"if" / "when" / "else" condition:

330:            if (cs = '1' and read = '1') then 
Evaluated toCountThreshold
BinTrue937591
BinFalse131697971

Uncovered toggles:

Excluded toggles:

Port:

 ADDRESS(1)
FromToCountThresholdExcluded due to
Bin0101Exclude file

Port:

 ADDRESS(0)
FromToCountThresholdExcluded due to
Bin0101Exclude file

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin01132674591
Bin10132690591

Port:

 RES_N
FromToCountThreshold
Bin0196421
Bin1080421

Port:

 ADDRESS(7)
FromToCountThreshold
Bin01167447781
Bin10110492551

Port:

 ADDRESS(6)
FromToCountThreshold
Bin013285601
Bin10274654731

Port:

 ADDRESS(5)
FromToCountThreshold
Bin015760991
Bin10272179341

Port:

 ADDRESS(4)
FromToCountThreshold
Bin014360791
Bin10273579541

Port:

 ADDRESS(3)
FromToCountThreshold
Bin01270152371
Bin107787961

Port:

 ADDRESS(2)
FromToCountThreshold
Bin01176552491
Bin10101387841

Port:

 ADDRESS(1)
FromToCountThreshold
Bin10277940331

Port:

 ADDRESS(0)
FromToCountThreshold
Bin10277940331

Port:

 W_DATA(31)
FromToCountThreshold
Bin01613621
Bin1010284831

Port:

 W_DATA(30)
FromToCountThreshold
Bin01671081
Bin1010227371

Port:

 W_DATA(29)
FromToCountThreshold
Bin01630971
Bin1010267481

Port:

 W_DATA(28)
FromToCountThreshold
Bin01914391
Bin109984061

Port:

 W_DATA(27)
FromToCountThreshold
Bin01796431
Bin1010102021

Port:

 W_DATA(26)
FromToCountThreshold
Bin01765271
Bin1010133181

Port:

 W_DATA(25)
FromToCountThreshold
Bin01882761
Bin1010015691

Port:

 W_DATA(24)
FromToCountThreshold
Bin01781881
Bin1010116571

Port:

 W_DATA(23)
FromToCountThreshold
Bin01709311
Bin1010189141

Port:

 W_DATA(22)
FromToCountThreshold
Bin011081381
Bin109817071

Port:

 W_DATA(21)
FromToCountThreshold
Bin01748671
Bin1010149781

Port:

 W_DATA(20)
FromToCountThreshold
Bin01804681
Bin1010093771

Port:

 W_DATA(19)
FromToCountThreshold
Bin011100091
Bin109798361

Port:

 W_DATA(18)
FromToCountThreshold
Bin011315581
Bin109582871

Port:

 W_DATA(17)
FromToCountThreshold
Bin011239511
Bin109658941

Port:

 W_DATA(16)
FromToCountThreshold
Bin011935131
Bin108963321

Port:

 W_DATA(15)
FromToCountThreshold
Bin01723821
Bin1010174631

Port:

 W_DATA(14)
FromToCountThreshold
Bin01861201
Bin1010037251

Port:

 W_DATA(13)
FromToCountThreshold
Bin01765721
Bin1010132731

Port:

 W_DATA(12)
FromToCountThreshold
Bin01804281
Bin1010094171

Port:

 W_DATA(11)
FromToCountThreshold
Bin01972961
Bin109925491

Port:

 W_DATA(10)
FromToCountThreshold
Bin011169731
Bin109728721

Port:

 W_DATA(9)
FromToCountThreshold
Bin011708701
Bin109189751

Port:

 W_DATA(8)
FromToCountThreshold
Bin011505261
Bin109393191

Port:

 W_DATA(7)
FromToCountThreshold
Bin011264161
Bin109634291

Port:

 W_DATA(6)
FromToCountThreshold
Bin011095501
Bin109802951

Port:

 W_DATA(5)
FromToCountThreshold
Bin011039291
Bin109859161

Port:

 W_DATA(4)
FromToCountThreshold
Bin011623581
Bin109274871

Port:

 W_DATA(3)
FromToCountThreshold
Bin011358731
Bin109539721

Port:

 W_DATA(2)
FromToCountThreshold
Bin011599441
Bin109299011

Port:

 W_DATA(1)
FromToCountThreshold
Bin012361231
Bin108537221

Port:

 W_DATA(0)
FromToCountThreshold
Bin011984011
Bin108914441

Port:

 R_DATA(31)
FromToCountThreshold
Bin0113531
Bin1029531

Port:

 R_DATA(30)
FromToCountThreshold
Bin0112911
Bin1028911

Port:

 R_DATA(29)
FromToCountThreshold
Bin0113021
Bin1029021

Port:

 R_DATA(28)
FromToCountThreshold
Bin0114491
Bin1030491

Port:

 R_DATA(27)
FromToCountThreshold
Bin0114701
Bin1030701

Port:

 R_DATA(26)
FromToCountThreshold
Bin0114491
Bin1030491

Port:

 R_DATA(25)
FromToCountThreshold
Bin0114581
Bin1030581

Port:

 R_DATA(24)
FromToCountThreshold
Bin0115271
Bin1031271

Port:

 R_DATA(23)
FromToCountThreshold
Bin0114071
Bin1030071

Port:

 R_DATA(22)
FromToCountThreshold
Bin0113361
Bin1029361

Port:

 R_DATA(21)
FromToCountThreshold
Bin0113861
Bin1029861

Port:

 R_DATA(20)
FromToCountThreshold
Bin0114831
Bin1030831

Port:

 R_DATA(19)
FromToCountThreshold
Bin0114691
Bin1030691

Port:

 R_DATA(18)
FromToCountThreshold
Bin0114601
Bin1030601

Port:

 R_DATA(17)
FromToCountThreshold
Bin0114511
Bin1030511

Port:

 R_DATA(16)
FromToCountThreshold
Bin0114841
Bin1030841

Port:

 R_DATA(15)
FromToCountThreshold
Bin0113991
Bin1029991

Port:

 R_DATA(14)
FromToCountThreshold
Bin0113251
Bin1029251

Port:

 R_DATA(13)
FromToCountThreshold
Bin0113921
Bin1029921

Port:

 R_DATA(12)
FromToCountThreshold
Bin0114771
Bin1030771

Port:

 R_DATA(11)
FromToCountThreshold
Bin0115021
Bin1031021

Port:

 R_DATA(10)
FromToCountThreshold
Bin0114721
Bin1030721

Port:

 R_DATA(9)
FromToCountThreshold
Bin0115051
Bin1031051

Port:

 R_DATA(8)
FromToCountThreshold
Bin0115101
Bin1031101

Port:

 R_DATA(7)
FromToCountThreshold
Bin0114631
Bin1030631

Port:

 R_DATA(6)
FromToCountThreshold
Bin0114041
Bin1030041

Port:

 R_DATA(5)
FromToCountThreshold
Bin0114281
Bin1030281

Port:

 R_DATA(4)
FromToCountThreshold
Bin0114541
Bin1030541

Port:

 R_DATA(3)
FromToCountThreshold
Bin0114771
Bin1030771

Port:

 R_DATA(2)
FromToCountThreshold
Bin0114851
Bin1030851

Port:

 R_DATA(1)
FromToCountThreshold
Bin0114841
Bin1030841

Port:

 R_DATA(0)
FromToCountThreshold
Bin0115491
Bin1031491

Port:

 CS
FromToCountThreshold
Bin013130061
Bin103146061

Port:

 READ
FromToCountThreshold
Bin01267041881
Bin1010898451

Port:

 WRITE
FromToCountThreshold
Bin0110898451
Bin10267041881

Port:

 BE(3)
FromToCountThreshold
Bin01277582451
Bin10357881

Port:

 BE(2)
FromToCountThreshold
Bin01277586271
Bin10354061

Port:

 BE(1)
FromToCountThreshold
Bin01276588801
Bin101351531

Port:

 BE(0)
FromToCountThreshold
Bin01276601201
Bin101339131

Port:

 LOCK_1
FromToCountThreshold
Bin0126261
Bin1010271

Port:

 LOCK_2
FromToCountThreshold
Bin0164821
Bin1080721

Port:

 TEST_REGISTERS_OUT.TST_CONTROL_TMAENA
FromToCountThreshold
Bin016481
Bin1022481

Port:

 TEST_REGISTERS_OUT.TST_CONTROL_TWRSTB
FromToCountThreshold
Bin01323091
Bin10352001

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(15)
FromToCountThreshold
Bin0151
Bin1016051

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(14)
FromToCountThreshold
Bin0151
Bin1016051

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(13)
FromToCountThreshold
Bin0151
Bin1016051

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(12)
FromToCountThreshold
Bin0151
Bin1016051

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(11)
FromToCountThreshold
Bin01151
Bin1016151

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(10)
FromToCountThreshold
Bin01251
Bin1016251

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(9)
FromToCountThreshold
Bin01451
Bin1016451

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(8)
FromToCountThreshold
Bin01851
Bin1016851

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(7)
FromToCountThreshold
Bin011651
Bin1017651

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(6)
FromToCountThreshold
Bin013551
Bin1019551

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(5)
FromToCountThreshold
Bin017051
Bin1023051

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(4)
FromToCountThreshold
Bin0136171
Bin1052171

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(3)
FromToCountThreshold
Bin0150311
Bin1066311

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(2)
FromToCountThreshold
Bin01103231
Bin10119231

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(1)
FromToCountThreshold
Bin01224481
Bin10240481

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_ADDR(0)
FromToCountThreshold
Bin01448841
Bin10464841

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_MTGT(3)
FromToCountThreshold
Bin012351
Bin1018351

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_MTGT(2)
FromToCountThreshold
Bin013741
Bin1019741

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_MTGT(1)
FromToCountThreshold
Bin015141
Bin1021141

Port:

 TEST_REGISTERS_OUT.TST_DEST_TST_MTGT(0)
FromToCountThreshold
Bin019791
Bin1025791

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(31)
FromToCountThreshold
Bin0115351
Bin1031351

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(30)
FromToCountThreshold
Bin0114841
Bin1030841

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(29)
FromToCountThreshold
Bin0114911
Bin1030911

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(28)
FromToCountThreshold
Bin0116311
Bin1032311

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(27)
FromToCountThreshold
Bin0116451
Bin1032451

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(26)
FromToCountThreshold
Bin0116291
Bin1032291

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(25)
FromToCountThreshold
Bin0116411
Bin1032411

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(24)
FromToCountThreshold
Bin0117131
Bin1033131

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(23)
FromToCountThreshold
Bin0115871
Bin1031871

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(22)
FromToCountThreshold
Bin0115261
Bin1031261

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(21)
FromToCountThreshold
Bin0115601
Bin1031601

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(20)
FromToCountThreshold
Bin0116581
Bin1032581

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(19)
FromToCountThreshold
Bin0116461
Bin1032461

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(18)
FromToCountThreshold
Bin0116361
Bin1032361

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(17)
FromToCountThreshold
Bin0116321
Bin1032321

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(16)
FromToCountThreshold
Bin0116701
Bin1032701

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(15)
FromToCountThreshold
Bin0115751
Bin1031751

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(14)
FromToCountThreshold
Bin0115011
Bin1031011

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(13)
FromToCountThreshold
Bin0115591
Bin1031591

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(12)
FromToCountThreshold
Bin0116401
Bin1032401

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(11)
FromToCountThreshold
Bin0116461
Bin1032461

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(10)
FromToCountThreshold
Bin0116461
Bin1032461

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(9)
FromToCountThreshold
Bin0116721
Bin1032721

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(8)
FromToCountThreshold
Bin0116811
Bin1032811

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(7)
FromToCountThreshold
Bin0116331
Bin1032331

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(6)
FromToCountThreshold
Bin0115671
Bin1031671

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(5)
FromToCountThreshold
Bin0116011
Bin1032011

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(4)
FromToCountThreshold
Bin0116371
Bin1032371

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(3)
FromToCountThreshold
Bin0116401
Bin1032401

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(2)
FromToCountThreshold
Bin0116551
Bin1032551

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(1)
FromToCountThreshold
Bin0116561
Bin1032561

Port:

 TEST_REGISTERS_OUT.TST_WDATA_TST_WDATA(0)
FromToCountThreshold
Bin0117221
Bin1033221

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(31)
FromToCountThreshold
Bin01239761
Bin10210691

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(30)
FromToCountThreshold
Bin01149911
Bin10211031

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(29)
FromToCountThreshold
Bin01193721
Bin10164651

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(28)
FromToCountThreshold
Bin01198151
Bin10259271

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(27)
FromToCountThreshold
Bin01199171
Bin10170101

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(26)
FromToCountThreshold
Bin01198151
Bin10259271

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(25)
FromToCountThreshold
Bin01245171
Bin10216101

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(24)
FromToCountThreshold
Bin01155541
Bin10216661

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(23)
FromToCountThreshold
Bin01242361
Bin10213291

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(22)
FromToCountThreshold
Bin01152501
Bin10213621

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(21)
FromToCountThreshold
Bin01197191
Bin10168121

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(20)
FromToCountThreshold
Bin01198251
Bin10259371

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(19)
FromToCountThreshold
Bin01198781
Bin10169711

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(18)
FromToCountThreshold
Bin01198311
Bin10259431

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(17)
FromToCountThreshold
Bin01243511
Bin10214441

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(16)
FromToCountThreshold
Bin01152831
Bin10213951

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(15)
FromToCountThreshold
Bin01241521
Bin10212451

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(14)
FromToCountThreshold
Bin01151421
Bin10212541

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(13)
FromToCountThreshold
Bin01196051
Bin10166981

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(12)
FromToCountThreshold
Bin01197671
Bin10258791

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(11)
FromToCountThreshold
Bin01199131
Bin10170061

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(10)
FromToCountThreshold
Bin01197981
Bin10259101

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(9)
FromToCountThreshold
Bin01244371
Bin10215301

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(8)
FromToCountThreshold
Bin01153291
Bin10214411

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(7)
FromToCountThreshold
Bin01243181
Bin10214111

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(6)
FromToCountThreshold
Bin01152621
Bin10213741

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(5)
FromToCountThreshold
Bin01196981
Bin10167911

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(4)
FromToCountThreshold
Bin01196541
Bin10257661

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(3)
FromToCountThreshold
Bin01198271
Bin10169201

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(2)
FromToCountThreshold
Bin01198351
Bin10259471

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(1)
FromToCountThreshold
Bin01244521
Bin10215451

Port:

 TEST_REGISTERS_IN.TST_RDATA_TST_RDATA(0)
FromToCountThreshold
Bin01154181
Bin10215301

Signal:

 REG_SEL(3)
FromToCountThreshold
Bin01937291
Bin105338831

Signal:

 REG_SEL(2)
FromToCountThreshold
Bin01413491
Bin105862631

Signal:

 REG_SEL(1)
FromToCountThreshold
Bin011350781
Bin104925341

Signal:

 REG_SEL(0)
FromToCountThreshold
Bin01428501
Bin105847621

Signal:

 R_DATA_COMB(31)
FromToCountThreshold
Bin01808331
Bin10824331

Signal:

 R_DATA_COMB(30)
FromToCountThreshold
Bin01564891
Bin10580891

Signal:

 R_DATA_COMB(29)
FromToCountThreshold
Bin01627031
Bin10643031

Signal:

 R_DATA_COMB(28)
FromToCountThreshold
Bin01632871
Bin10648871

Signal:

 R_DATA_COMB(27)
FromToCountThreshold
Bin01732581
Bin10748581

Signal:

 R_DATA_COMB(26)
FromToCountThreshold
Bin01988851
Bin101004851

Signal:

 R_DATA_COMB(25)
FromToCountThreshold
Bin01746061
Bin10762061

Signal:

 R_DATA_COMB(24)
FromToCountThreshold
Bin01751201
Bin10767201

Signal:

 R_DATA_COMB(23)
FromToCountThreshold
Bin01662431
Bin10678431

Signal:

 R_DATA_COMB(22)
FromToCountThreshold
Bin01857391
Bin10873391

Signal:

 R_DATA_COMB(21)
FromToCountThreshold
Bin01763891
Bin10779891

Signal:

 R_DATA_COMB(20)
FromToCountThreshold
Bin01774361
Bin10790361

Signal:

 R_DATA_COMB(19)
FromToCountThreshold
Bin011302431
Bin101318431

Signal:

 R_DATA_COMB(18)
FromToCountThreshold
Bin011392711
Bin101408711

Signal:

 R_DATA_COMB(17)
FromToCountThreshold
Bin011362811
Bin101378811

Signal:

 R_DATA_COMB(16)
FromToCountThreshold
Bin011426941
Bin101442941

Signal:

 R_DATA_COMB(15)
FromToCountThreshold
Bin01738121
Bin10754121

Signal:

 R_DATA_COMB(14)
FromToCountThreshold
Bin011131261
Bin101147261

Signal:

 R_DATA_COMB(13)
FromToCountThreshold
Bin01886611
Bin10902611

Signal:

 R_DATA_COMB(12)
FromToCountThreshold
Bin01940371
Bin10956371

Signal:

 R_DATA_COMB(11)
FromToCountThreshold
Bin011135431
Bin101151431

Signal:

 R_DATA_COMB(10)
FromToCountThreshold
Bin01899481
Bin10915481

Signal:

 R_DATA_COMB(9)
FromToCountThreshold
Bin011375061
Bin101391061

Signal:

 R_DATA_COMB(8)
FromToCountThreshold
Bin011114491
Bin101130491

Signal:

 R_DATA_COMB(7)
FromToCountThreshold
Bin011412481
Bin101428481

Signal:

 R_DATA_COMB(6)
FromToCountThreshold
Bin011622481
Bin101638481

Signal:

 R_DATA_COMB(5)
FromToCountThreshold
Bin011259041
Bin101275041

Signal:

 R_DATA_COMB(4)
FromToCountThreshold
Bin011685371
Bin101701371

Signal:

 R_DATA_COMB(3)
FromToCountThreshold
Bin011484011
Bin101500011

Signal:

 R_DATA_COMB(2)
FromToCountThreshold
Bin011361791
Bin101377791

Signal:

 R_DATA_COMB(1)
FromToCountThreshold
Bin012419011
Bin102435011

Signal:

 R_DATA_COMB(0)
FromToCountThreshold
Bin012677581
Bin102693581

Signal:

 READ_DATA_MASK_N(31)
FromToCountThreshold
Bin01277582451
Bin10357881

Signal:

 READ_DATA_MASK_N(30)
FromToCountThreshold
Bin01277582451
Bin10357881

Signal:

 READ_DATA_MASK_N(29)
FromToCountThreshold
Bin01277582451
Bin10357881

Signal:

 READ_DATA_MASK_N(28)
FromToCountThreshold
Bin01277582451
Bin10357881

Signal:

 READ_DATA_MASK_N(27)
FromToCountThreshold
Bin01277582451
Bin10357881

Signal:

 READ_DATA_MASK_N(26)
FromToCountThreshold
Bin01277582451
Bin10357881

Signal:

 READ_DATA_MASK_N(25)
FromToCountThreshold
Bin01277582451
Bin10357881

Signal:

 READ_DATA_MASK_N(24)
FromToCountThreshold
Bin01277582451
Bin10357881

Signal:

 READ_DATA_MASK_N(23)
FromToCountThreshold
Bin01277586271
Bin10354061

Signal:

 READ_DATA_MASK_N(22)
FromToCountThreshold
Bin01277586271
Bin10354061

Signal:

 READ_DATA_MASK_N(21)
FromToCountThreshold
Bin01277586271
Bin10354061

Signal:

 READ_DATA_MASK_N(20)
FromToCountThreshold
Bin01277586271
Bin10354061

Signal:

 READ_DATA_MASK_N(19)
FromToCountThreshold
Bin01277586271
Bin10354061

Signal:

 READ_DATA_MASK_N(18)
FromToCountThreshold
Bin01277586271
Bin10354061

Signal:

 READ_DATA_MASK_N(17)
FromToCountThreshold
Bin01277586271
Bin10354061

Signal:

 READ_DATA_MASK_N(16)
FromToCountThreshold
Bin01277586271
Bin10354061

Signal:

 READ_DATA_MASK_N(15)
FromToCountThreshold
Bin01276588801
Bin101351531

Signal:

 READ_DATA_MASK_N(14)
FromToCountThreshold
Bin01276588801
Bin101351531

Signal:

 READ_DATA_MASK_N(13)
FromToCountThreshold
Bin01276588801
Bin101351531

Signal:

 READ_DATA_MASK_N(12)
FromToCountThreshold
Bin01276588801
Bin101351531

Signal:

 READ_DATA_MASK_N(11)
FromToCountThreshold
Bin01276588801
Bin101351531

Signal:

 READ_DATA_MASK_N(10)
FromToCountThreshold
Bin01276588801
Bin101351531

Signal:

 READ_DATA_MASK_N(9)
FromToCountThreshold
Bin01276588801
Bin101351531

Signal:

 READ_DATA_MASK_N(8)
FromToCountThreshold
Bin01276588801
Bin101351531

Signal:

 READ_DATA_MASK_N(7)
FromToCountThreshold
Bin01276601201
Bin101339131

Signal:

 READ_DATA_MASK_N(6)
FromToCountThreshold
Bin01276601201
Bin101339131

Signal:

 READ_DATA_MASK_N(5)
FromToCountThreshold
Bin01276601201
Bin101339131

Signal:

 READ_DATA_MASK_N(4)
FromToCountThreshold
Bin01276601201
Bin101339131

Signal:

 READ_DATA_MASK_N(3)
FromToCountThreshold
Bin01276601201
Bin101339131

Signal:

 READ_DATA_MASK_N(2)
FromToCountThreshold
Bin01276601201
Bin101339131

Signal:

 READ_DATA_MASK_N(1)
FromToCountThreshold
Bin01276601201
Bin101339131

Signal:

 READ_DATA_MASK_N(0)
FromToCountThreshold
Bin01276601201
Bin101339131

Port:

 TEST_REGISTERS_OUT_I.TST_CONTROL_TMAENA
FromToCountThreshold
Bin016481
Bin1022481

Port:

 TEST_REGISTERS_OUT_I.TST_CONTROL_TWRSTB
FromToCountThreshold
Bin01323091
Bin10352001

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(15)
FromToCountThreshold
Bin0151
Bin10509621

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(14)
FromToCountThreshold
Bin0151
Bin10509621

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(13)
FromToCountThreshold
Bin0151
Bin10509621

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(12)
FromToCountThreshold
Bin0151
Bin10509621

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(11)
FromToCountThreshold
Bin0125651
Bin10532671

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(10)
FromToCountThreshold
Bin0151251
Bin10558271

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(9)
FromToCountThreshold
Bin01102451
Bin10609471

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(8)
FromToCountThreshold
Bin01204851
Bin10711871

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(7)
FromToCountThreshold
Bin011651
Bin1017651

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(6)
FromToCountThreshold
Bin013551
Bin1019551

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(5)
FromToCountThreshold
Bin017051
Bin1023051

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(4)
FromToCountThreshold
Bin0136171
Bin1052171

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(3)
FromToCountThreshold
Bin0150311
Bin1066311

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(2)
FromToCountThreshold
Bin01103231
Bin10119231

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(1)
FromToCountThreshold
Bin01224481
Bin10240481

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_ADDR(0)
FromToCountThreshold
Bin01448841
Bin10464841

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_MTGT(3)
FromToCountThreshold
Bin012351
Bin1018351

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_MTGT(2)
FromToCountThreshold
Bin013741
Bin1019741

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_MTGT(1)
FromToCountThreshold
Bin015141
Bin1021141

Port:

 TEST_REGISTERS_OUT_I.TST_DEST_TST_MTGT(0)
FromToCountThreshold
Bin019791
Bin1025791

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(31)
FromToCountThreshold
Bin0115421
Bin1031941

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(30)
FromToCountThreshold
Bin0114871
Bin1031941

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(29)
FromToCountThreshold
Bin0114991
Bin1031671

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(28)
FromToCountThreshold
Bin0116341
Bin1033631

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(27)
FromToCountThreshold
Bin0116611
Bin1033631

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(26)
FromToCountThreshold
Bin0116421
Bin1033651

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(25)
FromToCountThreshold
Bin0116491
Bin1033621

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(24)
FromToCountThreshold
Bin0117191
Bin1034531

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(23)
FromToCountThreshold
Bin0115941
Bin1033121

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(22)
FromToCountThreshold
Bin0115341
Bin1032441

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(21)
FromToCountThreshold
Bin0115661
Bin1032731

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(20)
FromToCountThreshold
Bin0116671
Bin1033741

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(19)
FromToCountThreshold
Bin0116611
Bin1033521

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(18)
FromToCountThreshold
Bin0116481
Bin1033391

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(17)
FromToCountThreshold
Bin0116331
Bin1033211

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(16)
FromToCountThreshold
Bin0116731
Bin1033671

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(15)
FromToCountThreshold
Bin0115781
Bin1032491

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(14)
FromToCountThreshold
Bin0115051
Bin1031691

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(13)
FromToCountThreshold
Bin0115621
Bin1032481

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(12)
FromToCountThreshold
Bin0116441
Bin1033281

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(11)
FromToCountThreshold
Bin0116581
Bin1033241

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(10)
FromToCountThreshold
Bin0116591
Bin1033361

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(9)
FromToCountThreshold
Bin0116751
Bin1033671

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(8)
FromToCountThreshold
Bin0116851
Bin1033691

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(7)
FromToCountThreshold
Bin0116371
Bin1032931

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(6)
FromToCountThreshold
Bin0115701
Bin1032331

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(5)
FromToCountThreshold
Bin0116061
Bin1032731

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(4)
FromToCountThreshold
Bin0116391
Bin1032961

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(3)
FromToCountThreshold
Bin0116531
Bin1033001

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(2)
FromToCountThreshold
Bin0116681
Bin1033191

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(1)
FromToCountThreshold
Bin0116581
Bin1033321

Port:

 TEST_REGISTERS_OUT_I.TST_WDATA_TST_WDATA(0)
FromToCountThreshold
Bin0117251
Bin1034011

Signal:

 WRITE_EN(3)
FromToCountThreshold
Bin012192471
Bin102208471

Signal:

 WRITE_EN(2)
FromToCountThreshold
Bin012192471
Bin102208471

Signal:

 WRITE_EN(1)
FromToCountThreshold
Bin012192471
Bin102208471

Signal:

 WRITE_EN(0)
FromToCountThreshold
Bin012192471
Bin102208471

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

116:    write_en <= be when (write = '1' and cs = '1') else (others => '0'); 
Evaluated toCountThreshold
BinFalse549081861
BinTrue13090921

"=" expression

116:    write_en <= be when (write = '1' and cs = '1') else (others => '0'); 
Evaluated toCountThreshold
BinFalse555912661
BinTrue6260121

"and" expression

116:    write_en <= be when (write = '1' and cs = '1') else (others => '0'); 
                             <---LHS--->     <-RHS-->                        

LHSRHSCountThreshold
BinFalseTrue4067651
BinTrueFalse10898451
BinTrueTrue2192471

"=" expression

327:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse265399421
BinTrue158601

"=" expression

330:            if (cs = '1' and read = '1') then 
Evaluated toCountThreshold
BinFalse129505501
BinTrue3130061

"=" expression

330:            if (cs = '1' and read = '1') then 
Evaluated toCountThreshold
BinFalse106244891
BinTrue26390671

"and" expression

330:            if (cs = '1' and read = '1') then 
                    <-LHS-->     <--RHS--->       

LHSRHSCountThreshold
BinFalseTrue25453081
BinTrueFalse2192471
BinTrueTrue937591

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage:

PSL cover point:

352:    -- psl tst_control_write_access_cov : cover 
353:    -- {((cs='1') and (write='1') and (reg_sel(0)='1') and ((be(0)='1') or (be(1)='1') or (be(2)='1') or (be(3)='1')))}; 

Count: 42840
Threshold: 1

PSL cover point:

355:    -- psl tst_control_read_access_cov : cover 
356:    -- {((cs='1') and (read='1') and (reg_sel(0)='1') and ((be(0)='1') or (be(1)='1') or (be(2)='1') or (be(3)='1')))}; 

Count: 10
Threshold: 1

PSL cover point:

358:    -- psl tst_dest_write_access_cov : cover 
359:    -- {((cs='1') and (write='1') and (reg_sel(1)='1') and ((be(0)='1') or (be(1)='1') or (be(2)='1') or (be(3)='1')))}; 

Count: 135068
Threshold: 1

PSL cover point:

361:    -- psl tst_dest_read_access_cov : cover 
362:    -- {((cs='1') and (read='1') and (reg_sel(1)='1') and ((be(0)='1') or (be(1)='1') or (be(2)='1') or (be(3)='1')))}; 

Count: 10
Threshold: 1

PSL cover point:

364:    -- psl tst_wdata_write_access_cov : cover 
365:    -- {((cs='1') and (write='1') and (reg_sel(2)='1') and ((be(0)='1') or (be(1)='1') or (be(2)='1') or (be(3)='1')))}; 

Count: 41339
Threshold: 1

PSL cover point:

367:    -- psl tst_wdata_read_access_cov : cover 
368:    -- {((cs='1') and (read='1') and (reg_sel(2)='1') and ((be(0)='1') or (be(1)='1') or (be(2)='1') or (be(3)='1')))}; 

Count: 10
Threshold: 1

PSL cover point:

370:    -- psl tst_rdata_read_access_cov : cover 
371:    -- {((cs='1') and (read='1') and (reg_sel(3)='1') and ((be(0)='1') or (be(1)='1') or (be(2)='1') or (be(3)='1')))}; 

Count: 93729
Threshold: 1