rtl-lint-check

RTL files (rtl/) are linted with slang -Weverything for maximum strictness — this catches IEEE 1800 §9.2.2.4 violations (e.g., always_ff + initial on same signal) that only VCS enforces at compile time. TB files (sim/) use --allow-dup-initial-drivers for flexibility.

Report all violations with file, line, rule, and severity. See references/verilator-warnings.md for detailed Verilator warning categories and waiver format.

<Use_When>

• Verifying lint status of any RTL file before commit or phase gate
• Quick sanity check during development
• Generating lint report for review </Use_When>

<Do_Not_Use_When>

• Lint fixing is also needed (use rtl-p4-implement or rtl-p4s-refactor which include fix cycles)
• Full verification suite needed (use rtl-p5s-func-verify or rtl-p4s-unit-test) </Do_Not_Use_When>

<Why_This_Exists> Three complementary lint tools catch different issue classes:

• Verilator is the most widely-used open-source linter; it catches synthesizability issues (latches, blocking/non-blocking mix, width mismatches) that style linters miss entirely.
• Verible catches style and formatting issues; slang catches IEEE 1800 semantic issues. Running all three gives comprehensive coverage: synthesizability + style + semantics. </Why_This_Exists>

<Coding_Convention_Requirements> Lint checks MUST enforce the project coding conventions (CLAUDE.md):

• Port prefix: i_ (input), o_ (output), io_ (bidirectional) — NOT suffix _i, _o
• Clock: clk (single domain) or {domain}_clk (multiple domains, e.g., sys_clk) — NOT clk_i
• Reset: rst_n (single domain) or {domain}_rst_n (multiple domains, e.g., sys_rst_n) — NOT rst_ni
• logic only — reg/wire usage flagged as violation
• Declaration order (IEEE 1800 §12.5): all logic/typedef/localparam must appear before assign/always blocks — forward references flagged as violation
• Instance prefix: u_ — missing prefix flagged
• Generate prefix: gen_ — missing prefix flagged Note: Verible and slang may not catch all convention violations natively. lint-checker MUST perform a supplementary grep-based check for naming conventions. </Coding_Convention_Requirements>

<Execution_Policy>

• lint-checker runs all three tools in parallel on the target file(s) via Bash CLI
• Prefer replayable wrapper: lint/scripts/run_lint.sh (creates lint/lint/replay/run_lint_*_latest.sh)
• Additionally checks naming conventions not caught by standard tools
• Results merged and de-duplicated
• Zero-error gate: skill reports PASS or FAIL with full violation list </Execution_Policy>