diff options
author | Joachim StroĢmbergson <joachim@secworks.se> | 2015-05-22 10:31:32 +0200 |
---|---|---|
committer | Joachim StroĢmbergson <joachim@secworks.se> | 2015-05-22 10:31:32 +0200 |
commit | 92790f3b539f275a060ca6bd4e2d91a9e5b13718 (patch) | |
tree | ca91c3714ea8047293306120755ce22d7d892bfe | |
parent | 40c7808f6be265fd4a44b35b195980dfbf473812 (diff) |
Adding target for linting the trng.
-rw-r--r-- | toolruns/Makefile | 11 |
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 |