Coverage report of AIS DS2 DUT

input bytes with number of zeros while in AIS

  • number of zeros= 0 Occurrence=1
  • number of zeros= 1 Occurrence=8
  • number of zeros= 2 Occurrence=1
  • number of zeros= 3 Occurrence=4
  • number of zeros= 4 Occurrence=4
  • number of zeros= 5 Occurrence=0
  • number of zeros= 6 Occurrence=0
  • number of zeros= 7 Occurrence=0
  • number of zeros= 8 Occurrence=0

    • input bytes with number of zeros while in not AIS

  • number of zeros= 0 Occurrence=1
  • number of zeros= 1 Occurrence=8
  • number of zeros= 2 Occurrence=2
  • number of zeros= 3 Occurrence=5
  • number of zeros= 4 Occurrence=9
  • number of zeros= 5 Occurrence=0
  • number of zeros= 6 Occurrence=0
  • number of zeros= 7 Occurrence=0
  • number of zeros= 8 Occurrence=0

    • internal signal data_valid_cur_byte values
    Each value should occur at least one time.

  • 00 OK 01 OK 02 OK 03 OK
  • 04 OK 05 OK 06 KO 07 OK
  • 08 OK 09 OK 10 OK 11 OK
  • 12 OK 13 OK 14 OK 15 OK

    • internal signal regf_num_of_zeros_in_byte_q values
    Each value should occur at least one time.

  • 00 OK 01 OK 02 OK 03 OK
  • 04 OK 05 KO 06 KO 07 KO

    • internal signal regf_p1_ts_valid_shifted values
    Each value should occur at least one time.

  • 00 OK 01 OK 02 KO 03 OK
  • 04 KO 05 KO 06 OK 07 OK
  • 08 KO 09 KO 10 KO 11 OK
  • 12 KO 13 OK 14 OK 15 OK

    • internal signal valids_mask_for_expired_ts values
    Each value should occur at least one time.

  • 00 OK 01 OK 02 OK 03 OK
  • 04 OK 05 OK 06 KO 07 OK
  • 08 OK 09 OK 10 OK 11 OK
  • 12 OK 13 OK 14 OK 15 OK

    • internal signal regf_p1_ts_valid_q values
    Each value should occur at least one time.

  • 00 OK 01 OK 02 OK 03 OK
  • 04 OK 05 OK 06 KO 07 OK
  • 08 OK 09 OK 10 OK 11 OK
  • 12 OK 13 OK 14 OK 15 OK