Que fait systemverilog-waveform-debug-skill ?
Compétence Codex pour déboguer du Verilog/SystemVerilog à partir de formes d'onde FST/VCD et du code source RTL.
Description
Cette compétence permet aux agents Codex d'analyser des fichiers de formes d'onde FST ou VCD accompagnés du code RTL correspondant, afin d'identifier et de localiser des bugs dans des designs numériques. Elle assiste les ingénieurs en vérification en automatisant l'analyse temporelle des signaux, la détection d'anomalies et la génération de rapports de débogage.
Utilisation
- Fournir le chemin d'accès au fichier de forme d'onde (FST/VCD) et au fichier ou répertoire source RTL.
- L'agent extrait les signaux de la forme d'onde et les met en correspondance avec le code source.
- L'agent compare les valeurs des signaux dans le temps avec le comportement attendu décrit par le code RTL.
- Les incohérences sont signalées sous forme de bugs potentiels avec des horodatages et des suggestions de correction.
Exemple de commande
analyse-waveform --fst dump.fst --rtl ./src --top my_module
Ceci déclenche l'analyse de dump.fst par rapport aux fichiers RTL dans ./src, en ciblant le module my_module.
Prérequis
- Python 3.8+
pyvcd(pour la lecture VCD)pyfst(pour la lecture FST, optionnel)- Un simulateur logique (Verilator, ModelSim, etc.) pour générer les formes d'onde
Installation
pip install pyvcd pyfst
Structure du projet
waveform_reader.py– Lit et analyse les fichiers FST/VCD.rtl_parser.py– Analyse le code RTL pour extraire les signaux et le comportement attendu.bug_detector.py– Compare formes d'onde et RTL pour trouver les anomalies.report_generator.py– Génère des rapports de débogage formatés.__init__.py– Initialise le module.
Plateformes supportées
- Claude Code (Anthropic)
- Codex (OpenAI)
- Tout agent utilisant des outils d'analyse de code
Contribution
Les contributions sont les bienvenues. Veuillez soumettre des pull requests ou ouvrir des issues sur le dépôt GitHub.
Licence
MIT License.