Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts



Module Instance : tb.dut.gen_alert_senders[4].u_alert_sender

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
77.78 77.78


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
77.78 77.78


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.36 97.14 92.91 98.44 100.00 98.33 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.gen_alert_senders[0].u_alert_sender

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.36 97.14 92.91 98.44 100.00 98.33 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.gen_alert_senders[1].u_alert_sender

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.36 97.14 92.91 98.44 100.00 98.33 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.gen_alert_senders[2].u_alert_sender

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.36 97.14 92.91 98.44 100.00 98.33 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.gen_alert_senders[3].u_alert_sender

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.36 97.14 92.91 98.44 100.00 98.33 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Toggle Coverage for Module : prim_alert_sender
TotalCoveredPercent
Totals 10 10 100.00
Total Bits 20 20 100.00
Total Bits 0->1 10 10 100.00
Total Bits 1->0 10 10 100.00

Ports 10 10 100.00
Port Bits 20 20 100.00
Port Bits 0->1 10 10 100.00
Port Bits 1->0 10 10 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
rst_ni Yes Yes T42,T45,T194 Yes T16,T42,T43 INPUT
alert_test_i Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_req_i Yes Yes T42,T194,T252 Yes T42,T194,T252 INPUT
alert_ack_o Yes Yes T42,T194,T252 Yes T42,T194,T252 OUTPUT
alert_state_o Yes Yes T42,T194,T252 Yes T42,T194,T252 OUTPUT
alert_rx_i.ack_n Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
alert_rx_i.ack_p Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_rx_i.ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i.ping_p Unreachable Unreachable Unreachable INPUT
alert_tx_o.alert_n Yes Yes T16,T42,T43 Yes T16,T42,T43 OUTPUT
alert_tx_o.alert_p Yes Yes T42,T43,T44 Yes T42,T43,T44 OUTPUT

Toggle Coverage for Instance : tb.dut.gen_alert_senders[4].u_alert_sender
TotalCoveredPercent
Totals 9 7 77.78
Total Bits 18 14 77.78
Total Bits 0->1 9 7 77.78
Total Bits 1->0 9 7 77.78

Ports 9 7 77.78
Port Bits 18 14 77.78
Port Bits 0->1 9 7 77.78
Port Bits 1->0 9 7 77.78

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
rst_ni Yes Yes T42,T45,T194 Yes T16,T42,T43 INPUT
alert_test_i Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_req_i Unreachable Unreachable Unreachable INPUT
alert_ack_o No No No OUTPUT
alert_state_o No No No OUTPUT
alert_rx_i.ack_n Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
alert_rx_i.ack_p Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_rx_i.ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i.ping_p Unreachable Unreachable Unreachable INPUT
alert_tx_o.alert_n Yes Yes T16,T42,T43 Yes T16,T42,T43 OUTPUT
alert_tx_o.alert_p Yes Yes T42,T43,T44 Yes T42,T43,T44 OUTPUT

Toggle Coverage for Instance : tb.dut.gen_alert_senders[0].u_alert_sender
TotalCoveredPercent
Totals 10 10 100.00
Total Bits 20 20 100.00
Total Bits 0->1 10 10 100.00
Total Bits 1->0 10 10 100.00

Ports 10 10 100.00
Port Bits 20 20 100.00
Port Bits 0->1 10 10 100.00
Port Bits 1->0 10 10 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
rst_ni Yes Yes T42,T45,T194 Yes T16,T42,T43 INPUT
alert_test_i Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_req_i Yes Yes T1,T3,T4 Yes T1,T3,T4 INPUT
alert_ack_o Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
alert_state_o Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
alert_rx_i.ack_n Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
alert_rx_i.ack_p Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_rx_i.ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i.ping_p Unreachable Unreachable Unreachable INPUT
alert_tx_o.alert_n Yes Yes T16,T42,T43 Yes T16,T42,T43 OUTPUT
alert_tx_o.alert_p Yes Yes T42,T43,T44 Yes T42,T43,T44 OUTPUT

Toggle Coverage for Instance : tb.dut.gen_alert_senders[1].u_alert_sender
TotalCoveredPercent
Totals 10 10 100.00
Total Bits 20 20 100.00
Total Bits 0->1 10 10 100.00
Total Bits 1->0 10 10 100.00

Ports 10 10 100.00
Port Bits 20 20 100.00
Port Bits 0->1 10 10 100.00
Port Bits 1->0 10 10 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
rst_ni Yes Yes T42,T45,T194 Yes T16,T42,T43 INPUT
alert_test_i Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_req_i Yes Yes T42,T194,T252 Yes T42,T194,T252 INPUT
alert_ack_o Yes Yes T42,T194,T252 Yes T42,T194,T252 OUTPUT
alert_state_o Yes Yes T42,T194,T252 Yes T42,T194,T252 OUTPUT
alert_rx_i.ack_n Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
alert_rx_i.ack_p Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_rx_i.ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i.ping_p Unreachable Unreachable Unreachable INPUT
alert_tx_o.alert_n Yes Yes T16,T42,T43 Yes T16,T42,T43 OUTPUT
alert_tx_o.alert_p Yes Yes T42,T43,T44 Yes T42,T43,T44 OUTPUT

Toggle Coverage for Instance : tb.dut.gen_alert_senders[2].u_alert_sender
TotalCoveredPercent
Totals 10 10 100.00
Total Bits 20 20 100.00
Total Bits 0->1 10 10 100.00
Total Bits 1->0 10 10 100.00

Ports 10 10 100.00
Port Bits 20 20 100.00
Port Bits 0->1 10 10 100.00
Port Bits 1->0 10 10 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
rst_ni Yes Yes T42,T45,T194 Yes T16,T42,T43 INPUT
alert_test_i Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_req_i Yes Yes T19,T28,T7 Yes T3,T19,T28 INPUT
alert_ack_o Yes Yes T3,T19,T7 Yes T3,T19,T7 OUTPUT
alert_state_o Yes Yes T19,T28,T7 Yes T3,T19,T28 OUTPUT
alert_rx_i.ack_n Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
alert_rx_i.ack_p Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_rx_i.ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i.ping_p Unreachable Unreachable Unreachable INPUT
alert_tx_o.alert_n Yes Yes T16,T42,T43 Yes T16,T42,T43 OUTPUT
alert_tx_o.alert_p Yes Yes T42,T43,T44 Yes T42,T43,T44 OUTPUT

Toggle Coverage for Instance : tb.dut.gen_alert_senders[3].u_alert_sender
TotalCoveredPercent
Totals 10 10 100.00
Total Bits 20 20 100.00
Total Bits 0->1 10 10 100.00
Total Bits 1->0 10 10 100.00

Ports 10 10 100.00
Port Bits 20 20 100.00
Port Bits 0->1 10 10 100.00
Port Bits 1->0 10 10 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
rst_ni Yes Yes T42,T45,T194 Yes T16,T42,T43 INPUT
alert_test_i Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_req_i Yes Yes T42,T194,T252 Yes T42,T194,T252 INPUT
alert_ack_o Yes Yes T42,T194,T252 Yes T42,T194,T252 OUTPUT
alert_state_o Yes Yes T42,T194,T252 Yes T42,T194,T252 OUTPUT
alert_rx_i.ack_n Yes Yes T16,T42,T43 Yes T16,T42,T43 INPUT
alert_rx_i.ack_p Yes Yes T42,T43,T44 Yes T42,T43,T44 INPUT
alert_rx_i.ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i.ping_p Unreachable Unreachable Unreachable INPUT
alert_tx_o.alert_n Yes Yes T16,T42,T43 Yes T16,T42,T43 OUTPUT
alert_tx_o.alert_p Yes Yes T42,T43,T44 Yes T42,T43,T44 OUTPUT

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%