diff options
Diffstat (limited to 'toolruns/Makefile')
| -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 |