[Cryptech Tech] Cryptech ticket system is live

[Joachim Strömbergson]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Aloha!

Ok, thank. I did discover that the warnings I was missing was because
they related to the wrappers in novena_i2c_simple, not the sha-cores.

But we might want to add your verliator-lint.sh script to a
tools-something repo that we can use for continious testing.

Also, we should add all cores under core/ and include all .v-file in
their respective src/rtl directory. Anything under test/ etc should be
considered in progress. But things under core/ should be good enough to
use in designs and thus we should check them periodically.

And, add '-Wall' as a flag for verilator.


Rob Austein wrote:
> At Thu, 06 Nov 2014 13:38:13 +0100, Joachim Strömbergson wrote:
>> Exactly how are you running verilator and which version of
>> verilator?
> 
> sra at caerbannog:~$ uname -a Linux caerbannog 3.2.0-4-486 #1 Debian
> 3.2.63-2+deb7u1 i686 GNU/Linux
> 
> sra at caerbannog:~$ dpkg -l verilator 
> Desired=Unknown/Install/Remove/Purge/Hold |
> Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend
>
> 
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
> ||/ Name           Version      Architecture Description 
> +++-==============-============-============-=================================
>
> 
ii  verilator      3.833-1      i386         fast free Verilog simulator
> 
> sra at caerbannog:~$ cat verilator-lint.sh #!/bin/sh
> 
> # Kludge alert.  Should be makefile targets in the long run, this is 
> # just an initial test.
> 
> cd $HOME/core/novena_i2c_simple/build/ verilator --lint-only \ 
> ../src/rtl/novena_fpga.v \ ../src/rtl/coretest_hashes.v \ 
> ../src/rtl/i2c_core.v \ ../src/rtl/sha1.v \ ../src/rtl/sha256.v \ 
> ../src/rtl/sha512.v \ ../../sha1/src/rtl/sha1_core.v \ 
> ../../sha1/src/rtl/sha1_w_mem.v \ ../../sha256/src/rtl/sha256_core.v
> \ ../../sha256/src/rtl/sha256_k_constants.v \ 
> ../../sha256/src/rtl/sha256_w_mem.v \ 
> ../../sha512/src/rtl/sha512_core.v \ 
> ../../sha512/src/rtl/sha512_h_constants.v \ 
> ../../sha512/src/rtl/sha512_k_constants.v \ 
> ../../sha512/src/rtl/sha512_w_mem.v
> 
> cd $HOME/core/novena/synth/ verilator --lint-only \ 
> ../src/rtl/novena_fpga.v \ ../src/rtl/coretest_hashes.v \ 
> ../../coretest/src/rtl/coretest.v \ ../../i2c/src/rtl/i2c_core.v \ 
> ../../i2c/src/rtl/i2c.v \ ../../sha1/src/rtl/sha1_core.v \ 
> ../../sha1/src/rtl/sha1.v \ ../../sha1/src/rtl/sha1_w_mem.v \ 
> ../../sha256/src/rtl/sha256_core.v \ 
> ../../sha256/src/rtl/sha256_k_constants.v \ 
> ../../sha256/src/rtl/sha256.v \ ../../sha256/src/rtl/sha256_w_mem.v
> \ ../../sha512/src/rtl/sha512_core.v \ 
> ../../sha512/src/rtl/sha512_h_constants.v \ 
> ../../sha512/src/rtl/sha512_k_constants.v \ 
> ../../sha512/src/rtl/sha512.v \ ../../sha512/src/rtl/sha512_w_mem.v
> 
> cd $HOME/core/novena_eim/build/ verilator --lint-only \ 
> ../../sha1/src/rtl/sha1.v \ ../../sha1/src/rtl/sha1_core.v \ 
> ../../sha1/src/rtl/sha1_w_mem.v \ ../../sha256/src/rtl/sha256.v \ 
> ../../sha256/src/rtl/sha256_core.v \ 
> ../../sha256/src/rtl/sha256_k_constants.v \ 
> ../../sha256/src/rtl/sha256_w_mem.v \ ../../sha512/src/rtl/sha512.v
> \ ../../sha512/src/rtl/sha512_core.v \ 
> ../../sha512/src/rtl/sha512_h_constants.v \ 
> ../../sha512/src/rtl/sha512_k_constants.v \ 
> ../../sha512/src/rtl/sha512_w_mem.v \ ../src/rtl/common/sync_reset.v
> \ ../src/rtl/coretest_hashes.v \ ../src/rtl/ip/bclk_dll/bclk_dll.v \ 
> ../src/rtl/ip/clk_dll/clk_dll.v \ ../src/rtl/ip/dcm_delay/dcm_delay.v
> \ ../src/rtl/novena_fpga.v 
> _______________________________________________ Tech mailing list 
> Tech at cryptech.is https://lists.cryptech.is/listinfo/tech


- -- 
Med vänlig hälsning, Yours

Joachim Strömbergson - Alltid i harmonisk svängning.
========================================================================
 Joachim Strömbergson          Secworks AB          joachim at secworks.se
========================================================================
-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.22 (Darwin)
Comment: GPGTools - http://gpgtools.org
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQIcBAEBCAAGBQJUW4WmAAoJEF3cfFQkIuyNkuwQAMw9jJXgABYNBHdfFQFMiyqO
rB4wsCI3pM/DcrUNF7NzfvuS+kyQaAoN6R3FdJnoh87vyv7wanmhU6YIx7PizknG
A3LMCxD/fw/6Ysry6U6M3BDSqp37Zb+DRNGd0+5EZENn6iixG5eim7cmsMlIGymt
PtgMZ5WtpxcvjpTimKd7uXxA6Ozk+YfVNwaCNWaJ/VoyDWKjrT7FMMdzE9FAZ4+I
OQMMCqWqmgaxRngZdel59iU21vHQ5mm2qcI8n6JDPCT5rZ7Ev0vbwPR1NazZyiBw
JfLsBBFSJ4st0ss3AlsHfX2sjV1BLyQJFLOXblYdszyX4A/5EQY8XhQkcW6+vxsh
4BU2fGbnCf0D1XrUHxT2cMcvpCQtNdcb0RhyLhHok6PNeoS6N+3x9/uUjDDSwDuJ
oqmgEiOnLid01nNC5vqADh7/BK2JvVApCPjCwjZpT3OzCJAfSZBg0xEw4nRPRcZH
92a5u0a3z+f6MZOR9mFaN0O0h1wGKl/b+B1drUPQAyEHyEdpLs6fJrTw3OXB8spl
4mOouofhHYgvk3LvBjCtZ/5SSYMhAk1gWOk28LVUP+gdmowDhbg3d/3BtbwQGelP
ScolyXibFr1rHjARSs0jhGhj/J2JmLDzG/en5GTnpJq20pLdGgbVQsipYnmi8bay
KhrMhfA7OXKOvfzi556i
=QJ1y
-----END PGP SIGNATURE-----