Updated coding standards for AXI2AXILITE, AXIVDISPLAY and WBP2CLASSIC

aamir-sultan · Mar 13, 2021 · 1945831 · 1945831
1 parent cdab5b7
commit 1945831
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 8 deletions.
diff --git a/rtl/axi2axilite.v b/rtl/axi2axilite.v
@@ -156,12 +156,10 @@ module axi2axilite #(
 
 	// Local parameters, register, and net declarations
 	// {{{
-	// Verilator lint_off UNUSED
-	localparam [1:0]	EXOKAY = 2'b01,
-				SLVERR = 2'b10;
-	// localparam [1:0]	OKAY = 2'b00,
+	localparam [1:0]	SLVERR = 2'b10;
+	// localparam [1:0]	OKAY   = 2'b00,
+	//			EXOKAY = 2'b01,
 	//			DECERR = 2'b10;
-	// Verilator lint_on UNUSED
 	localparam	AW = C_AXI_ADDR_WIDTH;
 	localparam	DW = C_AXI_DATA_WIDTH;
 	localparam	IW = C_AXI_ID_WIDTH;

diff --git a/rtl/axisgfsm.v b/rtl/axisgfsm.v
@@ -51,7 +51,7 @@
 //
 ////////////////////////////////////////////////////////////////////////////////
 // }}}
-// Copyright (C) 2020, Gisselquist Technology, LLC
+// Copyright (C) 2020-2021, Gisselquist Technology, LLC
 // {{{
 // This file is part of the WB2AXIP project.
 //

diff --git a/rtl/axivdisplay.v b/rtl/axivdisplay.v
@@ -252,8 +252,6 @@ module	axivdisplay #(
 
 	localparam	LGMAXBURST = (TMPLGMAXBURST+ADDRLSB > 12)
 				? (12-ADDRLSB) : TMPLGMAXBURST;
-
-	localparam [ADDRLSB-1:0] LSBZEROS = 0;
 	// }}}
 
 	wire	i_clk   =  S_AXI_ACLK;

diff --git a/rtl/wbp2classic.v b/rtl/wbp2classic.v
@@ -138,6 +138,13 @@ module	wbp2classic #(
 ////////////////////////////////////////////////////////////////////////////////
 ////////////////////////////////////////////////////////////////////////////////
 `ifdef	FORMAL
+	////////////////////////////////////////////////////////////////////////
+	//
+	//
+	//
+	////////////////////////////////////////////////////////////////////////
+	//
+	//
 	localparam	F_LGDEPTH = 1;
 	reg	f_past_valid;
 	reg	f_ongoing;