[Cryptech Tech] Cryptech ticket system is live

[Rob Austein]

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