Summary for Variable RStart_before_read_data_ACK_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for RStart_before_read_data_ACK_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Start_before_read_data_ACK_Nack |
0 |
1 |
1 |
|
Summary for Variable RStart_during_address_Ack_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for RStart_during_address_Ack_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Start_during_address_Acknowledge |
0 |
1 |
1 |
|
Summary for Variable RStart_during_address_transmission_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for RStart_during_address_transmission_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Start_during_address_transmission |
0 |
1 |
1 |
|
Summary for Variable RStart_during_read_data_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for RStart_during_read_data_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Start_during_read_data |
0 |
1 |
1 |
|
Summary for Variable RStart_during_rw_bit_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for RStart_during_rw_bit_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Start_during_rw_bit |
0 |
1 |
1 |
|
Summary for Variable RStart_during_write_data_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for RStart_during_write_data_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Start_during_write_data |
0 |
1 |
1 |
|
Summary for Variable Read_data_ack_before_stop_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Read_data_ack_before_stop_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Read_data_ack_before_stop |
0 |
1 |
1 |
|
Summary for Variable Rstart_after_Address_Ack_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Rstart_after_Address_Ack_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Rstart_after_Address_Ack |
0 |
1 |
1 |
|
Summary for Variable Rstart_after_Address_Nack_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Rstart_after_Address_Nack_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Rstart_after_Address_Nack |
0 |
1 |
1 |
|
Summary for Variable Start_followed_by_Rstart_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Automatically Generated Bins |
1 |
1 |
0 |
0.00 |
Automatically Generated Bins for Start_followed_by_Rstart_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
[auto[1]] |
0 |
1 |
1 |
|
Excluded/Illegal bins
NAME | COUNT | STATUS |
unused |
0 |
Excluded |
[auto[0]] |
0 |
Excluded |
Summary for Variable Stop_after_read_data_Nack_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Stop_after_read_data_Nack_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Stop_after_read_data_Nack |
0 |
1 |
1 |
|
Summary for Variable Stop_after_read_data_ack_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Stop_after_read_data_ack_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Stop_after_read_data_ack |
0 |
1 |
1 |
|
Summary for Variable Stop_after_write_data_Nack_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Stop_after_write_data_Nack_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Stop_after_write_data_Nack |
0 |
1 |
1 |
|
Summary for Variable Stop_after_write_data_ack_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Stop_after_write_data_ack_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Stop_after_write_data_ack |
0 |
1 |
1 |
|
Summary for Variable Stop_without_ACK_after_addr_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Stop_without_ACK_after_addr_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Stop_without_ACK_after_addr |
0 |
1 |
1 |
|
Summary for Variable Stop_without_ACK_after_data_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Stop_without_ACK_after_data_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Stop_without_ACK_after_data |
0 |
1 |
1 |
|
Summary for Variable Stop_without_ACK_after_read_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Stop_without_ACK_after_read_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Stop_without_ACK_after_read |
0 |
1 |
1 |
|
Summary for Variable Stop_without_ACK_after_write_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
1 |
0 |
0.00 |
User Defined Bins for Stop_without_ACK_after_write_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
Stop_without_ACK_after_write |
0 |
1 |
1 |
|
Summary for Variable bus_state_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
17 |
13 |
4 |
23.53 |
User Defined Bins for bus_state_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
write_data_nack |
0 |
1 |
1 |
|
write_data_ack |
0 |
1 |
1 |
|
read_data_nack |
0 |
1 |
1 |
|
read_data_ack |
0 |
1 |
1 |
|
write_data |
0 |
1 |
1 |
|
read_data |
0 |
1 |
1 |
|
write_addr_nack |
0 |
1 |
1 |
|
write_addr_ack |
0 |
1 |
1 |
|
read_addr_nack |
0 |
1 |
1 |
|
read_addr_ack |
0 |
1 |
1 |
|
write |
0 |
1 |
1 |
|
read |
0 |
1 |
1 |
|
rstart |
0 |
1 |
1 |
|
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
idle |
270 |
1 |
|
|
T1 |
2 |
|
T2 |
8 |
|
T3 |
2 |
stop |
15 |
1 |
|
|
T16 |
2 |
|
T17 |
1 |
|
T48 |
2 |
addr |
10 |
1 |
|
|
T14 |
7 |
|
T33 |
3 |
|
- |
- |
start |
20 |
1 |
|
|
T17 |
1 |
|
T14 |
2 |
|
T29 |
1 |
Summary for Variable ip_mode_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
2 |
0 |
2 |
100.00 |
User Defined Bins for ip_mode_cp
Bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
device |
171 |
1 |
|
|
T1 |
2 |
|
T2 |
4 |
|
T7 |
2 |
host |
144 |
1 |
|
|
T2 |
4 |
|
T3 |
2 |
|
T17 |
1 |
Summary for Variable num_rd_bytes_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
5 |
5 |
0 |
0.00 |
User Defined Bins for num_rd_bytes_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
sixtyfour |
0 |
1 |
1 |
|
high |
0 |
1 |
1 |
|
mid |
0 |
1 |
1 |
|
low |
0 |
1 |
1 |
|
one |
0 |
1 |
1 |
|
Summary for Variable num_wr_bytes_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
5 |
5 |
0 |
0.00 |
User Defined Bins for num_wr_bytes_cp
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
sixtyfour |
0 |
1 |
1 |
|
high |
0 |
1 |
1 |
|
mid |
0 |
1 |
1 |
|
low |
0 |
1 |
1 |
|
one |
0 |
1 |
1 |
|
Summary for Cross bus_state_x_ip_mode_cp
Samples crossed: bus_state_cp ip_mode_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
34 |
26 |
8 |
23.53 |
26 |
Automatically Generated Cross Bins for bus_state_x_ip_mode_cp
Element holes
bus_state_cp | ip_mode_cp | COUNT | AT LEAST | NUMBER | STATUS |
[write_data_nack , write_data_ack , read_data_nack , read_data_ack , write_data , read_data , write_addr_nack , write_addr_ack , read_addr_nack , read_addr_ack , write , read] |
* |
-- |
-- |
24 |
|
[rstart] |
* |
-- |
-- |
2 |
|
Covered bins
bus_state_cp | ip_mode_cp | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
idle |
device |
149 |
1 |
|
|
T1 |
2 |
|
T2 |
4 |
|
T7 |
2 |
idle |
host |
121 |
1 |
|
|
T2 |
4 |
|
T3 |
2 |
|
T14 |
5 |
stop |
device |
6 |
1 |
|
|
T16 |
2 |
|
T67 |
1 |
|
T68 |
3 |
stop |
host |
9 |
1 |
|
|
T17 |
1 |
|
T48 |
2 |
|
T51 |
2 |
addr |
device |
3 |
1 |
|
|
T33 |
3 |
|
- |
- |
|
- |
- |
addr |
host |
7 |
1 |
|
|
T14 |
7 |
|
- |
- |
|
- |
- |
start |
device |
13 |
1 |
|
|
T17 |
1 |
|
T29 |
1 |
|
T45 |
2 |
start |
host |
7 |
1 |
|
|
T14 |
2 |
|
T48 |
1 |
|
T51 |
1 |
Summary for Cross num_rd_bytes_x_ip_mode_cp
Samples crossed: ip_mode_cp num_rd_bytes_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
10 |
10 |
0 |
0.00 |
10 |
Automatically Generated Cross Bins for num_rd_bytes_x_ip_mode_cp
Uncovered bins
ip_mode_cp | num_rd_bytes_cp | COUNT | AT LEAST | NUMBER | STATUS |
* |
* |
-- |
-- |
10 |
|
Summary for Cross num_wr_bytes_x_ip_mode_cp
Samples crossed: ip_mode_cp num_wr_bytes_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
10 |
10 |
0 |
0.00 |
10 |
Automatically Generated Cross Bins for num_wr_bytes_x_ip_mode_cp
Uncovered bins
ip_mode_cp | num_wr_bytes_cp | COUNT | AT LEAST | NUMBER | STATUS |
* |
* |
-- |
-- |
10 |
|
Summary for Cross Stop_after_write_data_ack_x_ip_mode_cp
Samples crossed: Stop_after_write_data_ack_cp ip_mode_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
2 |
2 |
0 |
0.00 |
2 |
Automatically Generated Cross Bins for Stop_after_write_data_ack_x_ip_mode_cp
Uncovered bins
Stop_after_write_data_ack_cp | ip_mode_cp | COUNT | AT LEAST | NUMBER | STATUS |
* |
* |
-- |
-- |
2 |
|
Summary for Cross Stop_after_read_data_ack_x_ip_mode_cp
Samples crossed: Stop_after_read_data_ack_cp ip_mode_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
2 |
2 |
0 |
0.00 |
2 |
Automatically Generated Cross Bins for Stop_after_read_data_ack_x_ip_mode_cp
Uncovered bins
Stop_after_read_data_ack_cp | ip_mode_cp | COUNT | AT LEAST | NUMBER | STATUS |
* |
* |
-- |
-- |
2 |
|
Summary for Cross Stop_after_write_data_Nack_x_ip_mode_cp
Samples crossed: Stop_after_write_data_Nack_cp ip_mode_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
2 |
2 |
0 |
0.00 |
2 |
Automatically Generated Cross Bins for Stop_after_write_data_Nack_x_ip_mode_cp
Uncovered bins
Stop_after_write_data_Nack_cp | ip_mode_cp | COUNT | AT LEAST | NUMBER | STATUS |
* |
* |
-- |
-- |
2 |
|
Summary for Cross Stop_after_read_data_Nack_x_ip_mode_cp
Samples crossed: Stop_after_read_data_Nack_cp ip_mode_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
2 |
2 |
0 |
0.00 |
2 |
Automatically Generated Cross Bins for Stop_after_read_data_Nack_x_ip_mode_cp
Uncovered bins
Stop_after_read_data_Nack_cp | ip_mode_cp | COUNT | AT LEAST | NUMBER | STATUS |
* |
* |
-- |
-- |
2 |
|
Summary for Cross Rstart_after_Address_Ack_x_ip_mode_cp
Samples crossed: Rstart_after_Address_Ack_cp ip_mode_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
2 |
2 |
0 |
0.00 |
2 |
Automatically Generated Cross Bins for Rstart_after_Address_Ack_x_ip_mode_cp
Uncovered bins
Rstart_after_Address_Ack_cp | ip_mode_cp | COUNT | AT LEAST | NUMBER | STATUS |
* |
* |
-- |
-- |
2 |
|
Summary for Cross Rstart_after_Address_Nack_x_ip_mode_cp
Samples crossed: Rstart_after_Address_Nack_cp ip_mode_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
2 |
2 |
0 |
0.00 |
2 |
Automatically Generated Cross Bins for Rstart_after_Address_Nack_x_ip_mode_cp
Uncovered bins
Rstart_after_Address_Nack_cp | ip_mode_cp | COUNT | AT LEAST | NUMBER | STATUS |
* |
* |
-- |
-- |
2 |
|
Summary for Cross Start_followed_by_Rstart_cp_x_ip_mode_cp
Samples crossed: Start_followed_by_Rstart_cp ip_mode_cp
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
2 |
2 |
0 |
0.00 |
2 |
Automatically Generated Cross Bins for Start_followed_by_Rstart_cp_x_ip_mode_cp
Uncovered bins
Start_followed_by_Rstart_cp | ip_mode_cp | COUNT | AT LEAST | NUMBER | STATUS |
* |
* |
-- |
-- |
2 |
|
Excluded/Illegal bins
Start_followed_by_Rstart_cp | ip_mode_cp | COUNT | STATUS | |
[auto[0]] |
[device , host] |
-- |
Excluded |
(2 bins) |