Reviewing Systemverilog

Provide the SystemVerilog files you want reviewed (design files, packages, interfaces, testbenches, or any combination). The skill walks through a structured review:

1. Type & Package Review - logic usage, enums, structs, packages, parameterization
2. Always-Block & FSM Review - always_ff/always_comb, blocking vs non-blocking, FSM patterns
3. Structural & Style Review - Port declarations, instantiation, naming conventions
4. Synthesizability Review - Latch detection, width mismatches, tool compatibility
5. Findings Report - Prioritized improvements with idiomatic alternatives

logic everywhere. wire and reg are legacy. logic is the unified type — it works in all contexts. Only use wire for multi-driver nets (tri-state buses).

always_ff and always_comb, never always @. always_ff enforces sequential semantics. always_comb enforces combinational semantics and auto-infers the sensitivity list. always @(posedge clk) and always @(*) are legacy Verilog-2001.

unique case, not bare case. unique case tells the synthesizer all cases are covered and mutually exclusive. priority case when first-match priority encoding is intended. Bare case communicates nothing about designer intent.

Non-blocking (<=) in always_ff, blocking (=) in always_comb. Mixing them up causes simulation/synthesis mismatch. always_ff enforces this; always @(posedge clk) does not.

ANSI-style ports, named connections. Module ports declared in the header, not in a separate body. Instantiations use .port_name(signal), never positional.

Packages for shared types. Enums, structs, typedefs, constants, and functions belong in packages. No `define macros for things that can be parameter or localparam.

Provide any combination of:

• Design files (.sv, .v) - Modules, always blocks, instantiations
• Package files (.sv) - Type definitions, constants, functions
• Interface files (.sv) - Interface and modport definitions
• Testbench files (.sv) - Stimulus, assertions, coverage
• Constraint files (.xdc, .sdc) - Timing and placement constraints (for context)

You can provide file paths, paste code, or point to a directory.

Wait for the user to provide files before proceeding.

Read ${SKILL_DIR}/references/systemverilog-idioms.md first, then follow ${SKILL_DIR}/workflows/systemverilog-review.md exactly.

• Every file reviewed against idiomatic SystemVerilog standards
• Findings are specific: file, line, what, why, idiomatic alternative
• Findings are prioritized: P0 (incorrect hardware), P1 (quality/maintainability), P2 (style)
• Legacy Verilog-2001 patterns flagged
• Latch and blocking/non-blocking issues identified
• Naming convention deviations noted
• Summary table of all findings delivered