aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--toolruns/Makefile11
1 files changed, 9 insertions, 2 deletions
diff --git a/toolruns/Makefile b/toolruns/Makefile
index 4d6b9ef..b4d8924 100644
--- a/toolruns/Makefile
+++ b/toolruns/Makefile
@@ -54,8 +54,8 @@ TRNG_SRC=../src/rtl/trng.v $(MIXER_SRC) $(SHA512_SRC) $(CSPRNG_SRC) $(CHACHA_SRC
TB_TRNG_SRC=../src/tb/tb_trng.v
FAKE_ENTROPY_SRC=../src/tb/fake_modules/avalanche_entropy.v ../src/tb/fake_modules/pseudo_entropy.v ../src/tb/fake_modules/rosc_entropy.v
-CC=iverilog
-
+CC =iverilog
+LINT = verilator -Wall --lint-only
all: trng.sim mixer.sim csprng.sim csprng_fifo.sim
@@ -92,6 +92,13 @@ sim-trng: trng.sim
./trng.sim
+lint:
+ @echo "NOTE: Does not lint rosc and avalance noise sources."
+ @echo ""
+ $(LINT) $(CSPRNG_SRC) $(CHACHA_SRC)
+ $(LINT) $(MIXER_SRC) $(SHA512_SRC)
+
+
clean:
rm -f csprng_fifo.sim
rm -f csprng.sim