[Open Crypto Project] #13: Verilator warnings for sha-weappers in novena-i2c-simple

[Open Crypto Project]

#13: Verilator warnings for sha-weappers in novena-i2c-simple
-----------------------+----------------------
  Reporter:  joachims  |      Owner:  pselkirk
      Type:  defect    |     Status:  new
  Priority:  major     |  Milestone:
 Component:  rtl       |    Version:
Resolution:            |   Keywords:
Blocked By:            |   Blocking:  6
-----------------------+----------------------
Changes (by sra):

 * blocking:   => 6


Old description:

> Aloha!
>
> The following warnings are related to the i2c-specific wrappers for the
> sha-cores:
>
> %Warning-WIDTH: ../src/rtl/sha512.v:183: Bit extraction of array[63:0]
> requires 6 bit index, not 7 bits.
> %Warning-WIDTH: ../src/rtl/sha512.v:281: Operator LT expects 32 or 11
> bits on the LHS, but LHS's VARREF 'i' generates 8 bits.
> %Warning-WIDTH: ../src/rtl/sha512.v:282: Bit extraction of array[127:0]
> requires 7 bit index, not 8 bits.
> %Warning-WIDTH: ../src/rtl/sha512.v:401: Operator EQ expects 32 or 11
> bits on the LHS, but LHS's VARREF 'rx_ptr_new' generates 8 bits.
> %Warning-WIDTH: ../src/rtl/sha512.v:481: Operator EQ expects 32 or 9 bits
> on the LHS, but LHS's VARREF 'tx_ptr_new' generates 8 bits.
> %Warning-WIDTH: ../src/rtl/sha512.v:482: Operator EQ expects 32 or 9 bits
> on the LHS, but LHS's VARREF 'tx_ptr_new' generates 8 bits.
> %Warning-WIDTH: ../src/rtl/sha512.v:483: Operator EQ expects 32 or 10
> bits on the LHS, but LHS's VARREF 'tx_ptr_new' generates 8 bits.
> %Warning-WIDTH: ../src/rtl/sha256.v:155: Bit extraction of array[31:0]
> requires 5 bit index, not 7 bits.
> %Warning-WIDTH: ../src/rtl/sha256.v:220: Operator LT expects 32 or 10
> bits on the LHS, but LHS's VARREF 'i' generates 8 bits.
> %Warning-WIDTH: ../src/rtl/sha256.v:221: Bit extraction of array[63:0]
> requires 6 bit index, not 8 bits.
> %Warning-WIDTH: ../src/rtl/sha256.v:249: Bit extraction of array[63:0]
> requires 6 bit index, not 7 bits.
> %Warning-WIDTH: ../src/rtl/sha256.v:340: Operator EQ expects 32 or 10
> bits on the LHS, but LHS's VARREF 'rx_ptr_new' generates 8 bits.
> %Warning-WIDTH: ../src/rtl/sha256.v:419: Operator EQ expects 32 or 9 bits
> on the LHS, but LHS's VARREF 'tx_ptr_new' generates 8 bits.
> %Warning-WIDTH: ../src/rtl/sha1.v:155: Bit extraction of array[19:0]
> requires 5 bit index, not 7 bits.
> %Warning-WIDTH: ../src/rtl/sha1.v:208: Operator LT expects 32 or 10 bits
> on the LHS, but LHS's VARREF 'i' generates 8 bits.
> %Warning-WIDTH: ../src/rtl/sha1.v:209: Bit extraction of array[63:0]
> requires 6 bit index, not 8 bits.
> %Warning-WIDTH: ../src/rtl/sha1.v:237: Bit extraction of array[63:0]
> requires 6 bit index, not 7 bits.
> %Warning-WIDTH: ../src/rtl/sha1.v:328: Operator EQ expects 32 or 10 bits
> on the LHS, but LHS's VARREF 'rx_ptr_new' generates 8 bits.

New description:

 Aloha!

 The following warnings are related to the i2c-specific wrappers for the
 sha-cores:

 {{{
 %Warning-WIDTH: ../src/rtl/sha512.v:183: Bit extraction of array[63:0]
 requires 6 bit index, not 7 bits.
 %Warning-WIDTH: ../src/rtl/sha512.v:281: Operator LT expects 32 or 11 bits
 on the LHS, but LHS's VARREF 'i' generates 8 bits.
 %Warning-WIDTH: ../src/rtl/sha512.v:282: Bit extraction of array[127:0]
 requires 7 bit index, not 8 bits.
 %Warning-WIDTH: ../src/rtl/sha512.v:401: Operator EQ expects 32 or 11 bits
 on the LHS, but LHS's VARREF 'rx_ptr_new' generates 8 bits.
 %Warning-WIDTH: ../src/rtl/sha512.v:481: Operator EQ expects 32 or 9 bits
 on the LHS, but LHS's VARREF 'tx_ptr_new' generates 8 bits.
 %Warning-WIDTH: ../src/rtl/sha512.v:482: Operator EQ expects 32 or 9 bits
 on the LHS, but LHS's VARREF 'tx_ptr_new' generates 8 bits.
 %Warning-WIDTH: ../src/rtl/sha512.v:483: Operator EQ expects 32 or 10 bits
 on the LHS, but LHS's VARREF 'tx_ptr_new' generates 8 bits.
 %Warning-WIDTH: ../src/rtl/sha256.v:155: Bit extraction of array[31:0]
 requires 5 bit index, not 7 bits.
 %Warning-WIDTH: ../src/rtl/sha256.v:220: Operator LT expects 32 or 10 bits
 on the LHS, but LHS's VARREF 'i' generates 8 bits.
 %Warning-WIDTH: ../src/rtl/sha256.v:221: Bit extraction of array[63:0]
 requires 6 bit index, not 8 bits.
 %Warning-WIDTH: ../src/rtl/sha256.v:249: Bit extraction of array[63:0]
 requires 6 bit index, not 7 bits.
 %Warning-WIDTH: ../src/rtl/sha256.v:340: Operator EQ expects 32 or 10 bits
 on the LHS, but LHS's VARREF 'rx_ptr_new' generates 8 bits.
 %Warning-WIDTH: ../src/rtl/sha256.v:419: Operator EQ expects 32 or 9 bits
 on the LHS, but LHS's VARREF 'tx_ptr_new' generates 8 bits.
 %Warning-WIDTH: ../src/rtl/sha1.v:155: Bit extraction of array[19:0]
 requires 5 bit index, not 7 bits.
 %Warning-WIDTH: ../src/rtl/sha1.v:208: Operator LT expects 32 or 10 bits
 on the LHS, but LHS's VARREF 'i' generates 8 bits.
 %Warning-WIDTH: ../src/rtl/sha1.v:209: Bit extraction of array[63:0]
 requires 6 bit index, not 8 bits.
 %Warning-WIDTH: ../src/rtl/sha1.v:237: Bit extraction of array[63:0]
 requires 6 bit index, not 7 bits.
 %Warning-WIDTH: ../src/rtl/sha1.v:328: Operator EQ expects 32 or 10 bits
 on the LHS, but LHS's VARREF 'rx_ptr_new' generates 8 bits.
 }}}

--

--
Ticket URL: <https://trac.cryptech.is/ticket/13#comment:1>
Open Crypto Project <https://wiki.cryptech.is/>