Skills Guide

Lint Verilog avec Verilator

VérifiéPrudence

Exécute les vérifications de lint Verilator sur le Verilog généré pour un module nommé.

Télécharger et utiliser
Spar Skills Guide Bot
TestingIntermédiaire
26/07/2026
Claude Code
#verilog#verilator#lint#chisel#hardware

Recommandé pour

Claude CodeRevue de codeGénération de testsIngénieur QA / test

Synthèse automatique

Lance Verilator en mode lint-only sur le Verilog généré d'un module nommé, dans son répertoire workspace, et rapporte les erreurs et avertissements supprimés.

Points forts

  • Vérifie les prérequis avant de lancer le lint (présence de workspace/<Module>/generated/ et d'au moins un fichier .v)
  • Distingue clairement succès et échec, et remonte les warnings supprimés depuis lint-warnings.log
  • En cas d'échec, oriente vers la correction de la source Chisel plutôt que du Verilog généré
  • Nomme le module explicitement via /chip-agent:lint <ModuleName> avec une invite si l'argument est vide

Limites

  • Dépend d'un script externe scripts/lint.sh et de la structure de projet chip-agent (workspace/, chisel-project/, .claude)
  • Ne corrige ni n'analyse le code lui-même : il exécute l'outil et rapporte la sortie
  • Nécessite que la compilation ait déjà produit le Verilog ; ne lance pas la génération
Quand l'utiliser

À utiliser après /chip-agent:compile quand vous voulez valider rapidement le Verilog généré d'un module avant de passer à la simulation.

Quand l'éviter

Ne pas l'utiliser si le module n'a pas encore été compilé ou si vous travaillez hors d'un projet chip-agent disposant du script scripts/lint.sh.

Analyse de sécurité

Prudence
Score qualité85/100

The skill is a legitimate lint helper and does not intentionally exfiltrate data, disable safeguards, or use obfuscated payloads. However, it invokes Bash to run a project-local script and uses user-supplied module names in paths without sanitization, which warrants caution rather than a safe rating.

Points d'attention
  • •ModuleName from $ARGUMENTS is interpolated into a filesystem path without validation, so a crafted name such as ../ could potentially escape the intended workspace directory if lint.sh follows it.
  • •The skill executes a repository-local script, <project-root>/scripts/lint.sh, whose contents are outside the skill and must be trusted; Bash execution could run arbitrary logic from that script.
Comment cette analyse est faite

Exemples

Lint a module after compile
/chip-agent:lint ALU
Lint with a blank argument
/chip-agent:lint
Lint a counter module before simulation
/chip-agent:lint Counter

name: lint description: Run Verilator lint checks on generated Verilog for a named module in its workspace directory. disable-model-invocation: true allowed-tools:

  • Bash
  • Read

chip-agent:lint

Run Verilator lint-only checks on the generated Verilog for a named module.

Usage

/chip-agent:lint <ModuleName>

Instructions

  1. Extract module name from $ARGUMENTS. If empty or blank, ask the user: "Which module should I lint? Please provide a PascalCase module name (e.g., ALU, Counter, TrivialModule)."

  2. Check prerequisites. Verify that workspace/<ModuleName>/generated/ exists and contains at least one .v file. If not, tell the user: "No generated Verilog found. Please run /chip-agent:compile <ModuleName> first."

  3. Determine the project root directory by finding the nearest ancestor directory of this skill file that contains .claude. Use that directory as the base for all paths below.

  4. Run lint. Execute the lint script with the workspace path:

    <project-root>/scripts/lint.sh workspace/<ModuleName>

  5. On success (exit 0): Report that lint passed. Check if workspace/<ModuleName>/generated/lint-warnings.log exists and is non-empty. If so, list the suppressed warnings. Mention that the user can now run /chip-agent:simulate <ModuleName>.

  6. On failure (non-zero exit): Show the Verilator lint errors. Suggest fixing the Chisel source at chisel-project/src/main/scala/chipagent/<ModuleName>.scala -- do not edit the generated Verilog directly.

Input

$ARGUMENTS -- A PascalCase module name (e.g., ALU, Counter, TrivialModule).

Output

Lint pass/fail report. If warnings were suppressed, they are listed from workspace/<ModuleName>/generated/lint-warnings.log.

Du fichier au premier essai

Le téléchargement contient exactement le contenu affiché sur cette fiche. Cette copie peut différer de la dernière version du dépôt source.

Consulter la source et ses fichiers annexes

Ce téléchargement contient uniquement SKILL.md. Les scripts, références, modèles et dépendances éventuels ne sont pas inclus. Récupérez les fichiers nécessaires depuis la source en conservant leur arborescence avant de poursuivre.

1. Télécharger le fichier

Télécharger SKILL.md

Depuis la racine d’un projet de test, enregistrez le fichier sous .skill-downloads/verilator-lint-for-verilog-ms1aw4vm/SKILL.md, ou utilisez la commande suivante. Ce dossier sert à examiner la skill avant son installation.

Commande pour macOS/Linux ou WSL : un shell POSIX et curl sont nécessaires. Sous Windows sans WSL, utilisez le bouton de téléchargement et créez le dossier manuellement.

mkdir -p '.skill-downloads/verilator-lint-for-verilog-ms1aw4vm' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/verilator-lint-for-verilog-ms1aw4vm/download' --output '.skill-downloads/verilator-lint-for-verilog-ms1aw4vm/SKILL.md.part' && mv '.skill-downloads/verilator-lint-for-verilog-ms1aw4vm/SKILL.md.part' '.skill-downloads/verilator-lint-for-verilog-ms1aw4vm/SKILL.md'

2. Vérifier les prérequis

Lisez SKILL.md avant de l’utiliser. Si le fichier cite des scripts ou services externes, examinez-les et préparez les accès nécessaires dans votre environnement de test.

Aucune section de prérequis reconnue dans ce fichier. Cela ne signifie pas qu’il est autonome : les bibliothèques, outils et accès peuvent être cités ailleurs dans le contenu ou dans le dépôt source.

Les plateformes de la fiche sont des indications du catalogue. Les chemins ci-dessous suivent la documentation des outils ; ils ne prouvent pas que cette skill y a été exécutée. Aucune version minimale de ces outils n’est attestée pour cette fiche.

3. Charger la skill

Après vérification, copiez le dossier complet dans le projet avec l’une des commandes ci-dessous, puis ouvrez une nouvelle session de l’outil. La commande s’arrête si un dossier du même nom existe déjà : comparez les fichiers avant de le remplacer.

Claude Code
test -f '.skill-downloads/verilator-lint-for-verilog-ms1aw4vm/SKILL.md' && test -s '.skill-downloads/verilator-lint-for-verilog-ms1aw4vm/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/lint' && cp -R '.skill-downloads/verilator-lint-for-verilog-ms1aw4vm' '.claude/skills/lint'

OpenSkills

OpenSkills doit déjà être installé. La procédure locale install/read est contrôlée avec OpenSkills 1.5.0, qui exige Node.js ≥ 20.6.0. Aucun slug du catalogue n’est résolu automatiquement.

Installation officielle d’OpenSkills
openskills install './.skill-downloads/verilator-lint-for-verilog-ms1aw4vm'

openskills read 'verilator-lint-for-verilog-ms1aw4vm'

La lecture doit afficher le contenu du fichier installé et son dossier de base. Elle ne lance ni la skill ni ses dépendances.

Pour un agent qui lit AGENTS.md, synchronisez ensuite l’index. Cette commande modifie AGENTS.md : relisez le diff avant de l’utiliser.

openskills sync

Mode manuel ou autre outil : joignez SKILL.md à une conversation, ou ouvrez-le dans un agent capable de lire les fichiers. Ajoutez les ressources annexes nécessaires. Il n’existe pas de dossier universel reconnu par tous les outils.

4. Faire un premier essai

Utilisez une entrée courte et fictive : un endpoint d’API, un petit document ou un brief d’interface. Dans une nouvelle conversation, joignez le fichier ou donnez son chemin à l’agent, puis adaptez cette demande :

Lis .skill-downloads/verilator-lint-for-verilog-ms1aw4vm/SKILL.md et applique ses instructions à cet exemple : [décrire une entrée de test]. Indique les fichiers, dépendances ou accès qui manquent. Produis le résultat demandé par la skill sans inventer de données ni exécuter de script non examiné.

Résultat attendu : une sortie correspondant aux instructions de la skill, ou une liste précise des prérequis manquants. Une simple confirmation de lecture ne valide pas le premier usage. Si une ressource externe est indisponible, ce parcours reste à tester.

Skills similaires

Comparaison de performances ClickHouse

Testing

Évaluez les résultats de tests de performance ClickHouse, analysez les régressions de PR, comparez avec l'historique et vérifiez la fiabilité des mesures.

Claude CodeintermediateSûr 49,547
Skills Guide Bot

Analyse des rapports de performance CI

Testing

Analyse les rapports de comparaison de performance CI pour une PR ClickHouse. Recoupe l'historique master pour distinguer les vraies régressions des tests instables.

Claude CodeintermediateSûr 49,516
Skills Guide Bot

Méthode Santa

Testing

Vérification adversarial multi-agents avec deux réviseurs indépendants. La sortie est vérifiée deux fois et corrigée itérativement jusqu'à ce que les deux acceptent avant publication.

Claude CodeCodexCursorintermediateSûr 244,766
Skills Guide Bot