rtl-linting

Solid

RTL code quality checking and linting. Runs lint rules, identifies synthesis issues, detects inferred latches, and generates lint reports with waivers.

Code & Development 814 stars 53 forks Updated today MIT

Install

View on GitHub

Quality Score: 95/100

Stars 20%
97
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
100
Issue Health 10%
50
License 10%
100
Description 5%
100

Skill Content

# RTL Linting Skill Expert skill for RTL code quality checking and linting using Verible, SpyGlass, and vendor tools. Provides comprehensive code analysis for synthesis issues, coding style, CDC violations, and best practice enforcement. ## Overview The RTL Linting skill enables comprehensive RTL code quality checking, supporting: - SpyGlass/Ascent lint rule execution - Verible SystemVerilog linting and formatting - Vivado and Quartus lint checks - Synthesis coding issue detection - Inferred latch identification - Clock domain violation checking - Reset handling verification - Naming convention enforcement - Lint report generation and waiver management ## Capabilities ### 1. Verible Linting Run Verible SystemVerilog lint checks: ```bash # Run all default lint rules verible-verilog-lint src/*.sv # Run with specific rules verible-verilog-lint --rules=no-trailing-spaces,line-length src/*.sv # Generate machine-readable output verible-verilog-lint --format=json src/*.sv > lint_report.json # Use rules configuration file verible-verilog-lint --rules_config=.verible.rules src/*.sv # Autofix where possible verible-verilog-lint --autofix=yes src/*.sv ``` ### 2. Verible Rules Configuration Configure Verible lint rules: ``` # .verible.rules # Enable rules +line-length +no-trailing-spaces +no-tabs +posix-eof # Disable rules -endif-comment -explicit-begin # Configure rule parameters line-length=length:120 # Waiver syntax # waive:rule_name:reason ``` ### 3. Common Lint Ch...

Details

Author
a5c-ai
Repository
a5c-ai/babysitter
Created
4 months ago
Last Updated
today
Language
JavaScript
License
MIT

Related Skills