NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(0).TXT_BUF_EVEN_GEN.TXT_BUFFER_EVEN_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/txt_buffer/txt_buffer_even.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average
CLK_GATE_TXT_BUFFER_RAM_COMP 100.0 % (4/4) 100.0 % (2/2) 100.0 % (10/10) 100.0 % (8/8) N.A. N.A. 100.0 % (24/24)
TXT_BUFFER_RAM_INST 100.0 % (55/55) 100.0 % (38/38) 100.0 % (2160/2160) 100.0 % (62/62) N.A. N.A. 100.0 % (2315/2315)
TXT_BUFFER_FSM_INST 100.0 % (79/79) 100.0 % (94/94) 100.0 % (70/70) 100.0 % (151/151) 100.0 % (16/16) N.A. 100.0 % (410/410)

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(0).TXT_BUF_EVEN_GEN.TXT_BUFFER_EVEN_INST 100.0 % (29/29) 100.0 % (20/20) 100.0 % (462/462) 100.0 % (53/53) N.A. N.A. 100.0 % (564/564)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

246:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1') 
247:                             else 
248:                         '0'; 

Count: 342972
Threshold: 1

Signal assignment statement:

246:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1') 
Count: 157246
Threshold: 1

Signal assignment statement:

248:                         '0'
Count: 185726
Threshold: 1

If statement:

259:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1') 
260:                                                   else 
261:                                    (others => '0'); 

Count: 160855
Threshold: 1

Signal assignment statement:

259:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1') 
Count: 76563
Threshold: 1

Signal assignment statement:

261:                                    (others => '0')
Count: 84292
Threshold: 1

If statement:

269:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1') 
270:                           else 
271:                       '1' when (mr_tst_control_tmaena = '1') 
272:                           else 
273:                       '0'; 

Count: 531960
Threshold: 1

Signal assignment statement:

269:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1') 
Count: 262132
Threshold: 1

Signal assignment statement:

271:                       '1' when (mr_tst_control_tmaena = '1') 
Count: 648
Threshold: 1

Signal assignment statement:

273:                       '0'
Count: 269180
Threshold: 1

If statement:

280:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
281:                                           txtb_parity_check_valid = '1' and 
282:                                           txtb_index_muxed = G_ID) 
283:                                     else 
284:                                 '0'; 

Count: 408139
Threshold: 1

Signal assignment statement:

280:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
Count: 420
Threshold: 1

Signal assignment statement:

284:                                 '0'
Count: 407719
Threshold: 1

If statement:

294:        if (res_n = '0') then 
295:            mr_tx_command_txce_q <= '0'; 
...
301:            mr_tx_command_txca_q <= mr_tx_command_txca; 
302:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

295:            mr_tx_command_txce_q <= '0'; 
Count: 2418499
Threshold: 1

Signal assignment statement:

296:            mr_tx_command_txcr_q <= '0'; 
Count: 2418499
Threshold: 1

Signal assignment statement:

297:            mr_tx_command_txca_q <= '0'; 
Count: 2418499
Threshold: 1

Signal assignment statement:

299:            mr_tx_command_txce_q <= mr_tx_command_txce; 
Count: 526374300
Threshold: 1

Signal assignment statement:

300:            mr_tx_command_txcr_q <= mr_tx_command_txcr; 
Count: 526374300
Threshold: 1

Signal assignment statement:

301:            mr_tx_command_txca_q <= mr_tx_command_txca; 
Count: 526374300
Threshold: 1

If statement:

305:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1') 
306:                                 else 
307:                             '0'; 

Count: 18584
Threshold: 1

Signal assignment statement:

305:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1') 
Count: 105
Threshold: 1

Signal assignment statement:

307:                             '0'
Count: 18479
Threshold: 1

If statement:

308:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1') 
309:                                 else 
310:                             '0'; 

Count: 59642
Threshold: 1

Signal assignment statement:

308:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1') 
Count: 17842
Threshold: 1

Signal assignment statement:

310:                             '0'
Count: 41800
Threshold: 1

If statement:

312:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1') 
313:                         else 
314:                     '0'; 

Count: 21344
Threshold: 1

Signal assignment statement:

312:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1') 
Count: 984
Threshold: 1

Signal assignment statement:

314:                     '0'
Count: 20360
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

246:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1'
Evaluated toCountThreshold
BinTrue1572461
BinFalse1857261

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

259:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1'
Evaluated toCountThreshold
BinTrue765631
BinFalse842921

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

269:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1'
Evaluated toCountThreshold
BinTrue2621321
BinFalse2698281

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

271:                       '1' when (mr_tst_control_tmaena = '1'
Evaluated toCountThreshold
BinTrue6481
BinFalse2691801

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

280:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
281:                                           txtb_parity_check_valid = '1' and 
282:                                           txtb_index_muxed = G_ID) 

Evaluated toCountThreshold
BinTrue4201
BinFalse4077191

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

294:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24184991
BinFalse10527585841

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

298:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263743001
BinFalse5263842841

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

305:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue1051
BinFalse184791

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

308:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue178421
BinFalse418001

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

312:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue9841
BinFalse203601

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 SCAN_ENABLE
FromToCountThreshold
Bin0151
Bin1016051

Port:

 MR_MODE_BMM
FromToCountThreshold
Bin01151
Bin1016151

Port:

 MR_MODE_ROM
FromToCountThreshold
Bin01511
Bin1016511

Port:

 MR_MODE_TXBBM
FromToCountThreshold
Bin01331
Bin1016331

Port:

 MR_SETTINGS_TBFBO
FromToCountThreshold
Bin0125331
Bin109431

Port:

 MR_SETTINGS_PCHKE
FromToCountThreshold
Bin011141
Bin1017141

Port:

 MR_TX_COMMAND_TXCE
FromToCountThreshold
Bin013541
Bin10246311

Port:

 MR_TX_COMMAND_TXCR
FromToCountThreshold
Bin01209431
Bin10246311

Port:

 MR_TX_COMMAND_TXCA
FromToCountThreshold
Bin0117341
Bin10246311

Port:

 MR_TX_COMMAND_TXBI
FromToCountThreshold
Bin0165401
Bin1081361

Port:

 MR_TST_CONTROL_TMAENA
FromToCountThreshold
Bin016481
Bin1022481

Port:

 MR_TST_CONTROL_TWRSTB
FromToCountThreshold
Bin01323091
Bin10352001

Port:

 MR_TST_DEST_TST_ADDR(4)
FromToCountThreshold
Bin0136171
Bin1052171

Port:

 MR_TST_DEST_TST_ADDR(3)
FromToCountThreshold
Bin0150311
Bin1066311

Port:

 MR_TST_DEST_TST_ADDR(2)
FromToCountThreshold
Bin01103231
Bin10119231

Port:

 MR_TST_DEST_TST_ADDR(1)
FromToCountThreshold
Bin01224481
Bin10240481

Port:

 MR_TST_DEST_TST_ADDR(0)
FromToCountThreshold
Bin01448841
Bin10464841

Port:

 MR_TST_DEST_TST_MTGT(3)
FromToCountThreshold
Bin012351
Bin1018351

Port:

 MR_TST_DEST_TST_MTGT(2)
FromToCountThreshold
Bin013741
Bin1019741

Port:

 MR_TST_DEST_TST_MTGT(1)
FromToCountThreshold
Bin015141
Bin1021141

Port:

 MR_TST_DEST_TST_MTGT(0)
FromToCountThreshold
Bin019791
Bin1025791

Port:

 MR_TST_WDATA_TST_WDATA(31)
FromToCountThreshold
Bin0115351
Bin1031351

Port:

 MR_TST_WDATA_TST_WDATA(30)
FromToCountThreshold
Bin0114841
Bin1030841

Port:

 MR_TST_WDATA_TST_WDATA(29)
FromToCountThreshold
Bin0114911
Bin1030911

Port:

 MR_TST_WDATA_TST_WDATA(28)
FromToCountThreshold
Bin0116311
Bin1032311

Port:

 MR_TST_WDATA_TST_WDATA(27)
FromToCountThreshold
Bin0116451
Bin1032451

Port:

 MR_TST_WDATA_TST_WDATA(26)
FromToCountThreshold
Bin0116291
Bin1032291

Port:

 MR_TST_WDATA_TST_WDATA(25)
FromToCountThreshold
Bin0116411
Bin1032411

Port:

 MR_TST_WDATA_TST_WDATA(24)
FromToCountThreshold
Bin0117131
Bin1033131

Port:

 MR_TST_WDATA_TST_WDATA(23)
FromToCountThreshold
Bin0115871
Bin1031871

Port:

 MR_TST_WDATA_TST_WDATA(22)
FromToCountThreshold
Bin0115261
Bin1031261

Port:

 MR_TST_WDATA_TST_WDATA(21)
FromToCountThreshold
Bin0115601
Bin1031601

Port:

 MR_TST_WDATA_TST_WDATA(20)
FromToCountThreshold
Bin0116581
Bin1032581

Port:

 MR_TST_WDATA_TST_WDATA(19)
FromToCountThreshold
Bin0116461
Bin1032461

Port:

 MR_TST_WDATA_TST_WDATA(18)
FromToCountThreshold
Bin0116361
Bin1032361

Port:

 MR_TST_WDATA_TST_WDATA(17)
FromToCountThreshold
Bin0116321
Bin1032321

Port:

 MR_TST_WDATA_TST_WDATA(16)
FromToCountThreshold
Bin0116701
Bin1032701

Port:

 MR_TST_WDATA_TST_WDATA(15)
FromToCountThreshold
Bin0115751
Bin1031751

Port:

 MR_TST_WDATA_TST_WDATA(14)
FromToCountThreshold
Bin0115011
Bin1031011

Port:

 MR_TST_WDATA_TST_WDATA(13)
FromToCountThreshold
Bin0115591
Bin1031591

Port:

 MR_TST_WDATA_TST_WDATA(12)
FromToCountThreshold
Bin0116401
Bin1032401

Port:

 MR_TST_WDATA_TST_WDATA(11)
FromToCountThreshold
Bin0116461
Bin1032461

Port:

 MR_TST_WDATA_TST_WDATA(10)
FromToCountThreshold
Bin0116461
Bin1032461

Port:

 MR_TST_WDATA_TST_WDATA(9)
FromToCountThreshold
Bin0116721
Bin1032721

Port:

 MR_TST_WDATA_TST_WDATA(8)
FromToCountThreshold
Bin0116811
Bin1032811

Port:

 MR_TST_WDATA_TST_WDATA(7)
FromToCountThreshold
Bin0116331
Bin1032331

Port:

 MR_TST_WDATA_TST_WDATA(6)
FromToCountThreshold
Bin0115671
Bin1031671

Port:

 MR_TST_WDATA_TST_WDATA(5)
FromToCountThreshold
Bin0116011
Bin1032011

Port:

 MR_TST_WDATA_TST_WDATA(4)
FromToCountThreshold
Bin0116371
Bin1032371

Port:

 MR_TST_WDATA_TST_WDATA(3)
FromToCountThreshold
Bin0116401
Bin1032401

Port:

 MR_TST_WDATA_TST_WDATA(2)
FromToCountThreshold
Bin0116551
Bin1032551

Port:

 MR_TST_WDATA_TST_WDATA(1)
FromToCountThreshold
Bin0116561
Bin1032561

Port:

 MR_TST_WDATA_TST_WDATA(0)
FromToCountThreshold
Bin0117221
Bin1033221

Port:

 MR_TST_RDATA_TST_RDATA(31)
FromToCountThreshold
Bin015821
Bin1021821

Port:

 MR_TST_RDATA_TST_RDATA(30)
FromToCountThreshold
Bin015671
Bin1021671

Port:

 MR_TST_RDATA_TST_RDATA(29)
FromToCountThreshold
Bin015741
Bin1021741

Port:

 MR_TST_RDATA_TST_RDATA(28)
FromToCountThreshold
Bin016371
Bin1022371

Port:

 MR_TST_RDATA_TST_RDATA(27)
FromToCountThreshold
Bin016521
Bin1022521

Port:

 MR_TST_RDATA_TST_RDATA(26)
FromToCountThreshold
Bin016291
Bin1022291

Port:

 MR_TST_RDATA_TST_RDATA(25)
FromToCountThreshold
Bin016541
Bin1022541

Port:

 MR_TST_RDATA_TST_RDATA(24)
FromToCountThreshold
Bin016701
Bin1022701

Port:

 MR_TST_RDATA_TST_RDATA(23)
FromToCountThreshold
Bin016471
Bin1022471

Port:

 MR_TST_RDATA_TST_RDATA(22)
FromToCountThreshold
Bin016341
Bin1022341

Port:

 MR_TST_RDATA_TST_RDATA(21)
FromToCountThreshold
Bin016501
Bin1022501

Port:

 MR_TST_RDATA_TST_RDATA(20)
FromToCountThreshold
Bin016511
Bin1022511

Port:

 MR_TST_RDATA_TST_RDATA(19)
FromToCountThreshold
Bin016561
Bin1022561

Port:

 MR_TST_RDATA_TST_RDATA(18)
FromToCountThreshold
Bin016411
Bin1022411

Port:

 MR_TST_RDATA_TST_RDATA(17)
FromToCountThreshold
Bin016281
Bin1022281

Port:

 MR_TST_RDATA_TST_RDATA(16)
FromToCountThreshold
Bin016241
Bin1022241

Port:

 MR_TST_RDATA_TST_RDATA(15)
FromToCountThreshold
Bin016411
Bin1022411

Port:

 MR_TST_RDATA_TST_RDATA(14)
FromToCountThreshold
Bin016231
Bin1022231

Port:

 MR_TST_RDATA_TST_RDATA(13)
FromToCountThreshold
Bin016121
Bin1022121

Port:

 MR_TST_RDATA_TST_RDATA(12)
FromToCountThreshold
Bin016181
Bin1022181

Port:

 MR_TST_RDATA_TST_RDATA(11)
FromToCountThreshold
Bin016021
Bin1022021

Port:

 MR_TST_RDATA_TST_RDATA(10)
FromToCountThreshold
Bin016371
Bin1022371

Port:

 MR_TST_RDATA_TST_RDATA(9)
FromToCountThreshold
Bin016401
Bin1022401

Port:

 MR_TST_RDATA_TST_RDATA(8)
FromToCountThreshold
Bin016201
Bin1022201

Port:

 MR_TST_RDATA_TST_RDATA(7)
FromToCountThreshold
Bin016541
Bin1022541

Port:

 MR_TST_RDATA_TST_RDATA(6)
FromToCountThreshold
Bin016521
Bin1022521

Port:

 MR_TST_RDATA_TST_RDATA(5)
FromToCountThreshold
Bin016451
Bin1022451

Port:

 MR_TST_RDATA_TST_RDATA(4)
FromToCountThreshold
Bin016211
Bin1022211

Port:

 MR_TST_RDATA_TST_RDATA(3)
FromToCountThreshold
Bin016371
Bin1022371

Port:

 MR_TST_RDATA_TST_RDATA(2)
FromToCountThreshold
Bin016361
Bin1022361

Port:

 MR_TST_RDATA_TST_RDATA(1)
FromToCountThreshold
Bin016511
Bin1022511

Port:

 MR_TST_RDATA_TST_RDATA(0)
FromToCountThreshold
Bin016401
Bin1022401

Port:

 TXTB_PORT_A_DATA_IN(31)
FromToCountThreshold
Bin01613621
Bin1010300831

Port:

 TXTB_PORT_A_DATA_IN(30)
FromToCountThreshold
Bin01671081
Bin1010243371

Port:

 TXTB_PORT_A_DATA_IN(29)
FromToCountThreshold
Bin01630971
Bin1010283481

Port:

 TXTB_PORT_A_DATA_IN(28)
FromToCountThreshold
Bin01914391
Bin1010000061

Port:

 TXTB_PORT_A_DATA_IN(27)
FromToCountThreshold
Bin01796431
Bin1010118021

Port:

 TXTB_PORT_A_DATA_IN(26)
FromToCountThreshold
Bin01765271
Bin1010149181

Port:

 TXTB_PORT_A_DATA_IN(25)
FromToCountThreshold
Bin01882761
Bin1010031691

Port:

 TXTB_PORT_A_DATA_IN(24)
FromToCountThreshold
Bin01781881
Bin1010132571

Port:

 TXTB_PORT_A_DATA_IN(23)
FromToCountThreshold
Bin01709311
Bin1010205141

Port:

 TXTB_PORT_A_DATA_IN(22)
FromToCountThreshold
Bin011081381
Bin109833071

Port:

 TXTB_PORT_A_DATA_IN(21)
FromToCountThreshold
Bin01748671
Bin1010165781

Port:

 TXTB_PORT_A_DATA_IN(20)
FromToCountThreshold
Bin01804681
Bin1010109771

Port:

 TXTB_PORT_A_DATA_IN(19)
FromToCountThreshold
Bin011100091
Bin109814361

Port:

 TXTB_PORT_A_DATA_IN(18)
FromToCountThreshold
Bin011315581
Bin109598871

Port:

 TXTB_PORT_A_DATA_IN(17)
FromToCountThreshold
Bin011239511
Bin109674941

Port:

 TXTB_PORT_A_DATA_IN(16)
FromToCountThreshold
Bin011935131
Bin108979321

Port:

 TXTB_PORT_A_DATA_IN(15)
FromToCountThreshold
Bin01723821
Bin1010190631

Port:

 TXTB_PORT_A_DATA_IN(14)
FromToCountThreshold
Bin01861201
Bin1010053251

Port:

 TXTB_PORT_A_DATA_IN(13)
FromToCountThreshold
Bin01765721
Bin1010148731

Port:

 TXTB_PORT_A_DATA_IN(12)
FromToCountThreshold
Bin01804281
Bin1010110171

Port:

 TXTB_PORT_A_DATA_IN(11)
FromToCountThreshold
Bin01972961
Bin109941491

Port:

 TXTB_PORT_A_DATA_IN(10)
FromToCountThreshold
Bin011169731
Bin109744721

Port:

 TXTB_PORT_A_DATA_IN(9)
FromToCountThreshold
Bin011708701
Bin109205751

Port:

 TXTB_PORT_A_DATA_IN(8)
FromToCountThreshold
Bin011505261
Bin109409191

Port:

 TXTB_PORT_A_DATA_IN(7)
FromToCountThreshold
Bin011264161
Bin109650291

Port:

 TXTB_PORT_A_DATA_IN(6)
FromToCountThreshold
Bin011095501
Bin109818951

Port:

 TXTB_PORT_A_DATA_IN(5)
FromToCountThreshold
Bin011039291
Bin109875161

Port:

 TXTB_PORT_A_DATA_IN(4)
FromToCountThreshold
Bin011623581
Bin109290871

Port:

 TXTB_PORT_A_DATA_IN(3)
FromToCountThreshold
Bin011358731
Bin109555721

Port:

 TXTB_PORT_A_DATA_IN(2)
FromToCountThreshold
Bin011599441
Bin109315011

Port:

 TXTB_PORT_A_DATA_IN(1)
FromToCountThreshold
Bin012361231
Bin108553221

Port:

 TXTB_PORT_A_DATA_IN(0)
FromToCountThreshold
Bin011984011
Bin108930441

Port:

 TXTB_PORT_A_PARITY
FromToCountThreshold
Bin016400151
Bin101501051

Port:

 TXTB_PORT_A_ADDRESS(4)
FromToCountThreshold
Bin013285601
Bin10274670731

Port:

 TXTB_PORT_A_ADDRESS(3)
FromToCountThreshold
Bin015760991
Bin10272195341

Port:

 TXTB_PORT_A_ADDRESS(2)
FromToCountThreshold
Bin014360791
Bin10273595541

Port:

 TXTB_PORT_A_ADDRESS(1)
FromToCountThreshold
Bin01270152371
Bin107803961

Port:

 TXTB_PORT_A_ADDRESS(0)
FromToCountThreshold
Bin01176552491
Bin10101403841

Port:

 TXTB_PORT_A_CS
FromToCountThreshold
Bin011575461
Bin101591461

Port:

 TXTB_PORT_A_BE(3)
FromToCountThreshold
Bin01277582451
Bin10357881

Port:

 TXTB_PORT_A_BE(2)
FromToCountThreshold
Bin01277586271
Bin10354061

Port:

 TXTB_PORT_A_BE(1)
FromToCountThreshold
Bin01276588801
Bin101351531

Port:

 TXTB_PORT_A_BE(0)
FromToCountThreshold
Bin01276601201
Bin101339131

Port:

 TXTB_STATE(3)
FromToCountThreshold
Bin0148601
Bin1032631

Port:

 TXTB_STATE(2)
FromToCountThreshold
Bin01121961
Bin10137931

Port:

 TXTB_STATE(1)
FromToCountThreshold
Bin01142671
Bin10158671

Port:

 TXTB_STATE(0)
FromToCountThreshold
Bin01147801
Bin10163801

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin01119331
Bin10135331

Port:

 TXTB_HW_CMD.LOCK
FromToCountThreshold
Bin01248161
Bin10264161

Port:

 TXTB_HW_CMD.VALID
FromToCountThreshold
Bin01110981
Bin10126981

Port:

 TXTB_HW_CMD.ERR
FromToCountThreshold
Bin0142371
Bin1058371

Port:

 TXTB_HW_CMD.ARBL
FromToCountThreshold
Bin014551
Bin1020551

Port:

 TXTB_HW_CMD.FAILED
FromToCountThreshold
Bin0190151
Bin10106151

Port:

 TXTB_HW_CMD_CS
FromToCountThreshold
Bin0174111
Bin1058111

Port:

 TXTB_PORT_B_DATA_OUT(31)
FromToCountThreshold
Bin0148851
Bin1064851

Port:

 TXTB_PORT_B_DATA_OUT(30)
FromToCountThreshold
Bin0151041
Bin1067041

Port:

 TXTB_PORT_B_DATA_OUT(29)
FromToCountThreshold
Bin0148261
Bin1064261

Port:

 TXTB_PORT_B_DATA_OUT(28)
FromToCountThreshold
Bin01131371
Bin10147371

Port:

 TXTB_PORT_B_DATA_OUT(27)
FromToCountThreshold
Bin01105601
Bin10121601

Port:

 TXTB_PORT_B_DATA_OUT(26)
FromToCountThreshold
Bin01134371
Bin10150371

Port:

 TXTB_PORT_B_DATA_OUT(25)
FromToCountThreshold
Bin01112801
Bin10128801

Port:

 TXTB_PORT_B_DATA_OUT(24)
FromToCountThreshold
Bin01130881
Bin10146881

Port:

 TXTB_PORT_B_DATA_OUT(23)
FromToCountThreshold
Bin01114101
Bin10130101

Port:

 TXTB_PORT_B_DATA_OUT(22)
FromToCountThreshold
Bin01126051
Bin10142051

Port:

 TXTB_PORT_B_DATA_OUT(21)
FromToCountThreshold
Bin01112111
Bin10128111

Port:

 TXTB_PORT_B_DATA_OUT(20)
FromToCountThreshold
Bin01128011
Bin10144011

Port:

 TXTB_PORT_B_DATA_OUT(19)
FromToCountThreshold
Bin01113801
Bin10129801

Port:

 TXTB_PORT_B_DATA_OUT(18)
FromToCountThreshold
Bin01129801
Bin10145801

Port:

 TXTB_PORT_B_DATA_OUT(17)
FromToCountThreshold
Bin0172751
Bin1088751

Port:

 TXTB_PORT_B_DATA_OUT(16)
FromToCountThreshold
Bin0180511
Bin1096511

Port:

 TXTB_PORT_B_DATA_OUT(15)
FromToCountThreshold
Bin0175171
Bin1091171

Port:

 TXTB_PORT_B_DATA_OUT(14)
FromToCountThreshold
Bin0180261
Bin1096261

Port:

 TXTB_PORT_B_DATA_OUT(13)
FromToCountThreshold
Bin0180581
Bin1096581

Port:

 TXTB_PORT_B_DATA_OUT(12)
FromToCountThreshold
Bin0185671
Bin10101671

Port:

 TXTB_PORT_B_DATA_OUT(11)
FromToCountThreshold
Bin0175991
Bin1091991

Port:

 TXTB_PORT_B_DATA_OUT(10)
FromToCountThreshold
Bin0179621
Bin1095621

Port:

 TXTB_PORT_B_DATA_OUT(9)
FromToCountThreshold
Bin01134511
Bin10150511

Port:

 TXTB_PORT_B_DATA_OUT(8)
FromToCountThreshold
Bin0189851
Bin10105851

Port:

 TXTB_PORT_B_DATA_OUT(7)
FromToCountThreshold
Bin01192161
Bin10208161

Port:

 TXTB_PORT_B_DATA_OUT(6)
FromToCountThreshold
Bin01151851
Bin10167851

Port:

 TXTB_PORT_B_DATA_OUT(5)
FromToCountThreshold
Bin0198411
Bin10114411

Port:

 TXTB_PORT_B_DATA_OUT(4)
FromToCountThreshold
Bin0192021
Bin10108021

Port:

 TXTB_PORT_B_DATA_OUT(3)
FromToCountThreshold
Bin01148121
Bin10164121

Port:

 TXTB_PORT_B_DATA_OUT(2)
FromToCountThreshold
Bin01138641
Bin10154641

Port:

 TXTB_PORT_B_DATA_OUT(1)
FromToCountThreshold
Bin01146341
Bin10162341

Port:

 TXTB_PORT_B_DATA_OUT(0)
FromToCountThreshold
Bin01185541
Bin10201541

Port:

 TXTB_PORT_B_ADDRESS(4)
FromToCountThreshold
Bin01268051
Bin10284051

Port:

 TXTB_PORT_B_ADDRESS(3)
FromToCountThreshold
Bin0138651
Bin1054651

Port:

 TXTB_PORT_B_ADDRESS(2)
FromToCountThreshold
Bin01457301
Bin10473301

Port:

 TXTB_PORT_B_ADDRESS(1)
FromToCountThreshold
Bin01378811
Bin10378841

Port:

 TXTB_PORT_B_ADDRESS(0)
FromToCountThreshold
Bin011012511
Bin101028481

Port:

 TXTB_PORT_B_CLK_EN
FromToCountThreshold
Bin011048861
Bin101064861

Port:

 IS_BUS_OFF
FromToCountThreshold
Bin0182271
Bin1082361

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin01143611
Bin10159611

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin01123401
Bin10139401

Port:

 TXTB_PARITY_CHECK_VALID
FromToCountThreshold
Bin011811461
Bin101827461

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin0120401
Bin1036401

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin014201
Bin1020201

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin01139401
Bin10123401

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin01123401
Bin10139401

Signal:

 TXTB_PORT_B_DATA_OUT_I(31)
FromToCountThreshold
Bin0179821
Bin1095311

Signal:

 TXTB_PORT_B_DATA_OUT_I(30)
FromToCountThreshold
Bin0183911
Bin1099411

Signal:

 TXTB_PORT_B_DATA_OUT_I(29)
FromToCountThreshold
Bin0179511
Bin1095001

Signal:

 TXTB_PORT_B_DATA_OUT_I(28)
FromToCountThreshold
Bin01213371
Bin10228031

Signal:

 TXTB_PORT_B_DATA_OUT_I(27)
FromToCountThreshold
Bin01180791
Bin10195421

Signal:

 TXTB_PORT_B_DATA_OUT_I(26)
FromToCountThreshold
Bin01215921
Bin10230601

Signal:

 TXTB_PORT_B_DATA_OUT_I(25)
FromToCountThreshold
Bin01190201
Bin10204841

Signal:

 TXTB_PORT_B_DATA_OUT_I(24)
FromToCountThreshold
Bin01216401
Bin10230981

Signal:

 TXTB_PORT_B_DATA_OUT_I(23)
FromToCountThreshold
Bin01193081
Bin10207591

Signal:

 TXTB_PORT_B_DATA_OUT_I(22)
FromToCountThreshold
Bin01214021
Bin10228671

Signal:

 TXTB_PORT_B_DATA_OUT_I(21)
FromToCountThreshold
Bin01193251
Bin10207641

Signal:

 TXTB_PORT_B_DATA_OUT_I(20)
FromToCountThreshold
Bin01214081
Bin10228731

Signal:

 TXTB_PORT_B_DATA_OUT_I(19)
FromToCountThreshold
Bin01197991
Bin10212451

Signal:

 TXTB_PORT_B_DATA_OUT_I(18)
FromToCountThreshold
Bin01221321
Bin10235841

Signal:

 TXTB_PORT_B_DATA_OUT_I(17)
FromToCountThreshold
Bin01125051
Bin10140081

Signal:

 TXTB_PORT_B_DATA_OUT_I(16)
FromToCountThreshold
Bin01133821
Bin10148821

Signal:

 TXTB_PORT_B_DATA_OUT_I(15)
FromToCountThreshold
Bin01127051
Bin10142151

Signal:

 TXTB_PORT_B_DATA_OUT_I(14)
FromToCountThreshold
Bin01134031
Bin10149071

Signal:

 TXTB_PORT_B_DATA_OUT_I(13)
FromToCountThreshold
Bin01132911
Bin10147921

Signal:

 TXTB_PORT_B_DATA_OUT_I(12)
FromToCountThreshold
Bin01141331
Bin10156411

Signal:

 TXTB_PORT_B_DATA_OUT_I(11)
FromToCountThreshold
Bin01128661
Bin10143781

Signal:

 TXTB_PORT_B_DATA_OUT_I(10)
FromToCountThreshold
Bin01135901
Bin10150481

Signal:

 TXTB_PORT_B_DATA_OUT_I(9)
FromToCountThreshold
Bin01241871
Bin10255061

Signal:

 TXTB_PORT_B_DATA_OUT_I(8)
FromToCountThreshold
Bin01145641
Bin10160541

Signal:

 TXTB_PORT_B_DATA_OUT_I(7)
FromToCountThreshold
Bin01328661
Bin10340541

Signal:

 TXTB_PORT_B_DATA_OUT_I(6)
FromToCountThreshold
Bin01233591
Bin10246611

Signal:

 TXTB_PORT_B_DATA_OUT_I(5)
FromToCountThreshold
Bin01172571
Bin10187321

Signal:

 TXTB_PORT_B_DATA_OUT_I(4)
FromToCountThreshold
Bin01154391
Bin10169421

Signal:

 TXTB_PORT_B_DATA_OUT_I(3)
FromToCountThreshold
Bin01254801
Bin10268271

Signal:

 TXTB_PORT_B_DATA_OUT_I(2)
FromToCountThreshold
Bin01248731
Bin10262161

Signal:

 TXTB_PORT_B_DATA_OUT_I(1)
FromToCountThreshold
Bin01262441
Bin10275911

Signal:

 TXTB_PORT_B_DATA_OUT_I(0)
FromToCountThreshold
Bin01340151
Bin10351971

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin014201
Bin1020201

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin013541
Bin1019541

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin01208831
Bin10224831

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin0117341
Bin1033341

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin011051
Bin1017051

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin01178421
Bin10194421

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin019841
Bin1025841

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin019841
Bin1025841

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin011572461
Bin101588461

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin012627801
Bin102643801

Signal:

 CLK_RAM
FromToCountThreshold
Bin01140473121
Bin10140489121

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin0120401
Bin1036401

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

246:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1') 
Evaluated toCountThreshold
BinFalse1854261
BinTrue1575461

"=" expression

246:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1'
Evaluated toCountThreshold
BinFalse145401
BinTrue3284321

"and" expression

246:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1'
                                       <-------LHS-------->     <----------RHS----------->  

LHSRHSCountThreshold
BinFalseTrue1711861
BinTrueFalse3001
BinTrueTrue1572461

"=" expression

259:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1'
Evaluated toCountThreshold
BinFalse842921
BinTrue765631

"=" expression

269:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1') 
Evaluated toCountThreshold
BinFalse4270741
BinTrue1048861

"=" expression

269:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1'
Evaluated toCountThreshold
BinFalse3747141
BinTrue1572461

"or" expression

269:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1'
                                     <---------LHS---------->    <---------RHS--------->  

LHSRHSCountThreshold
BinFalseFalse2698281
BinFalseTrue1572461
BinTrueFalse1048861

"=" expression

271:                       '1' when (mr_tst_control_tmaena = '1'
Evaluated toCountThreshold
BinFalse2691801
BinTrue6481

"=" expression

280:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
Evaluated toCountThreshold
BinFalse4030821
BinTrue50571

"=" expression

281:                                           txtb_parity_check_valid = '1' and 
Evaluated toCountThreshold
BinFalse2249541
BinTrue1831851

"and" expression

280:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
281:                                           txtb_parity_check_valid = '1' and 

LHSRHSCountThreshold
BinFalseTrue1807061
BinTrueFalse25781
BinTrueTrue24791

"=" expression

282:                                           txtb_index_muxed = G_ID
Evaluated toCountThreshold
BinFalse1913991
BinTrue2167401

"and" expression

280:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
281:                                           txtb_parity_check_valid = '1' and 
282:                                           txtb_index_muxed = G_ID) 

LHSRHSCountThreshold
BinFalseTrue2163201
BinTrueFalse20591
BinTrueTrue4201

"=" expression

294:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10527585841
BinTrue24184991

"=" expression

305:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1') 
Evaluated toCountThreshold
BinFalse182101
BinTrue3741

"=" expression

305:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinFalse118541
BinTrue67301

"and" expression

305:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1'
                                           <----------LHS----------->     <---------RHS---------->  

LHSRHSCountThreshold
BinFalseTrue66251
BinTrueFalse2691
BinTrueTrue1051

"=" expression

308:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1') 
Evaluated toCountThreshold
BinFalse267051
BinTrue329371

"=" expression

308:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinFalse294721
BinTrue301701

"and" expression

308:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1'
                                           <----------LHS----------->     <---------RHS---------->  

LHSRHSCountThreshold
BinFalseTrue123281
BinTrueFalse150951
BinTrueTrue178421

"=" expression

312:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1') 
Evaluated toCountThreshold
BinFalse196051
BinTrue17391

"=" expression

312:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinFalse128411
BinTrue85031

"and" expression

312:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1'
                                   <----------LHS----------->     <---------RHS---------->  

LHSRHSCountThreshold
BinFalseTrue75191
BinTrueFalse7551
BinTrueTrue9841

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: