From b9a9e99e2bd6cef8f10de009902d206297b5a782 Mon Sep 17 00:00:00 2001 From: Fabien Marteau Date: Tue, 22 Oct 2019 09:55:31 +0200 Subject: [PATCH] Suppressing some verilator lint warnings --- servant/servant.v | 2 ++ servant/servant_mux.v | 2 ++ 2 files changed, 4 insertions(+) diff --git a/servant/servant.v b/servant/servant.v index cd90062..ca2b24e 100644 --- a/servant/servant.v +++ b/servant/servant.v @@ -105,10 +105,12 @@ serv_arbiter serv_arbiter //synthesis translate_off reg [1023:0] firmware_file; initial + /* verilator lint_off WIDTH */ if ($value$plusargs("firmware=%s", firmware_file)) begin $display("Loading RAM from %0s", firmware_file); $readmemh(firmware_file, ram.mem); end + /* verilator lint_on WIDTH */ //synthesis translate_on `endif diff --git a/servant/servant_mux.v b/servant/servant_mux.v index 54375fc..baf6912 100644 --- a/servant/servant_mux.v +++ b/servant/servant_mux.v @@ -66,10 +66,12 @@ module serv_mux integer f = 0; initial + /* verilator lint_off WIDTH */ if ($value$plusargs("signature=%s", signature_file)) begin $display("Writing signature to %0s", signature_file); f = $fopen(signature_file, "w"); end + /* verilator lint_on WIDTH */ always @(posedge i_clk) if (sig_en & (f != 0))