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

Open Crypto Project trac at cryptech.is
Thu Nov 6 13:03:02 UTC 2014


#13: Verilator warnings for sha-weappers in novena-i2c-simple
----------------------+----------------------
 Reporter:  joachims  |      Owner:  pselkirk
     Type:  defect    |     Status:  new
 Priority:  major     |  Milestone:
Component:  rtl       |    Version:
 Keywords:            |
----------------------+----------------------
 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>
Open Crypto Project <https://wiki.cryptech.is/>



More information about the Ticket-BCC mailing list