aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoachim StroĢˆmbergson <joachim@secworks.se>2015-05-22 10:31:32 +0200
committerJoachim StroĢˆmbergson <joachim@secworks.se>2015-05-22 10:31:32 +0200
commit92790f3b539f275a060ca6bd4e2d91a9e5b13718 (patch)
treeca91c3714ea8047293306120755ce22d7d892bfe
parent40c7808f6be265fd4a44b35b195980dfbf473812 (diff)
Adding target for linting the trng.
-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