fallensigh/ciciec2026
Archived
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix: replace UNUSEDPARAM/UNUSEDSIGNAL with UNUSED for verilator lint

Browse Source 
Verilator does not recognize UNUSEDPARAM or UNUSEDSIGNAL.
Correct suppression code is UNUSED.
This commit is contained in:
FallenSigh
2026-06-30 02:10:07 +08:00
parent 92777efd30
commit 542495cb52
14 changed files with 1178 additions and 593 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rtl/ip/mlkem/ntt/barrett_mul.v
View File

@@ -27,9 +27,9 @@ module barrett_mul (
// Compute t_shifted = (p * K) >> 24
// Use explicit wire for the product to control width
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
wire [36:0] t_product;
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
assign t_product = p_ext * K;
wire [12:0] t_shifted;
assign t_shifted = t_product[36:R];

4
rtl/ip/mlkem/sample_cbd/sample_cbd_sync.v
View File

@@ -105,9 +105,9 @@ module sample_cbd_sync (
// keccak_core instantiation
// ================================================================
wire kc_valid_i;
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
wire kc_ready_o;
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
wire [1599:0] kc_state_o;
wire kc_valid_o;

16
rtl/ip/mlkem/sample_ntt/sample_ntt_sync.v
View File

@@ -30,16 +30,16 @@
`include "defines.vh"
/* verilator lint_off UNUSEDPARAM */
/* verilator lint_off UNUSED */
(* use_dsp = "no" *)
module sample_ntt_sync #(parameter K = 4) (
/* verilator lint_on UNUSEDPARAM */
/* verilator lint_on UNUSED */
input clk,
input rst_n,
input [255:0] rho_i,
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
input [2:0] k_i,
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
input [1:0] i_idx,
input [1:0] j_idx,
input valid_i,
@@ -73,12 +73,12 @@ module sample_ntt_sync #(parameter K = 4) (
// ================================================================
// Registered inputs (captured on valid_i)
// ================================================================
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
reg [255:0] rho_r;
reg [2:0] k_r;
reg [1:0] i_r;
reg [1:0] j_r;
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
// ================================================================
// Coefficient counter (0..256). 9 bits to avoid overflow when
@@ -164,9 +164,9 @@ module sample_ntt_sync #(parameter K = 4) (
// ================================================================
wire kc_valid_i;
wire [1599:0] kc_state_i;
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
wire kc_ready_o;
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
wire [1599:0] kc_state_o;
wire kc_valid_o;

16
rtl/ip/mlkem/sample_ntt/sample_ntt_sync_shared.v
View File

@@ -43,16 +43,16 @@
`include "defines.vh"
/* verilator lint_off UNUSEDPARAM */
/* verilator lint_off UNUSED */
(* use_dsp = "no" *)
module sample_ntt_sync_shared #(parameter K = 4) (
/* verilator lint_on UNUSEDPARAM */
/* verilator lint_on UNUSED */
input clk,
input rst_n,
input [255:0] rho_i,
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
input [2:0] k_i,
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
input [1:0] i_idx,
input [1:0] j_idx,
input valid_i,
@@ -68,9 +68,9 @@ module sample_ntt_sync_shared #(parameter K = 4) (
output kc_ready_i,
output [1599:0] kc_state_i,
output kc_valid_i,
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
input kc_ready_o
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
);
// ================================================================
@@ -96,12 +96,12 @@ module sample_ntt_sync_shared #(parameter K = 4) (
// ================================================================
// Registered inputs (captured on valid_i)
// ================================================================
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
reg [255:0] rho_r;
reg [2:0] k_r;
reg [1:0] i_r;
reg [1:0] j_r;
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
// ================================================================
// Coefficient counter (0..256). 9 bits to avoid overflow when

4
rtl/ip/mlkem/sha3/sha3_top.v
View File

@@ -123,10 +123,10 @@ module sha3_top (
// Keccak core
// ================================================================
wire kc_valid_i;
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
wire [1599:0] kc_state_o;
wire kc_ready_o;
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
wire kc_valid_o;
// Keccak input: multi-block xored state when mb_en, else single-block absorb.

4
rtl/ip/mlkem/sha3/sha3_top_shared.v
View File

@@ -42,9 +42,9 @@ module sha3_top_shared (
// --- external (shared) keccak_core interface ---
input [1599:0] kc_state_o,
input kc_valid_o,
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
input kc_ready_o,
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
output [1599:0] kc_state_i,
output kc_valid_i,
output kc_ready_i

4
rtl/ip/mlkem/top/mlkem_top.v
View File

@@ -559,9 +559,9 @@ module mlkem_top #(
// per-consumer drives toward the core
wire [1599:0] sha3_kc_state_i, snt_kc_state_i, cbd_kc_state_i;
wire sha3_kc_valid_i, snt_kc_valid_i, cbd_kc_valid_i;
/* verilator lint_off UNUSEDSIGNAL */
/* verilator lint_off UNUSED */
wire sha3_kc_ready_i, snt_kc_ready_i, cbd_kc_ready_i; // all 1'b1
/* verilator lint_on UNUSEDSIGNAL */
/* verilator lint_on UNUSED */
// phase selects (mutually exclusive). Encaps adds ST_ENC_H/G (sha3),
// ST_ENC_A (snt), ST_ENC_C (cbd).