Ce que fait cette compétence

Fournit des profils d'outils organisés, des conventions et des conseils pour les flux de travail d'analyse structurelle et de passage de domaine d'horloge (CDC). Elle explique comment exécuter les modes open-source de svlens (cdc, conn, metrics, all), comment interpréter les sorties JSON clés (violations, cautions, scores) et comment intégrer les exécuteurs d'outils commerciaux (SpyGlass, VC_CDC, Questa) dans une porte de CI. La compétence met l'accent sur une philosophie de porte quantitative + qualitative : les rapports automatisés svlens sont couplés au jugement d'un LLM et à des dérogations documentées si nécessaire.

Quand l'utiliser

Utilisez cette compétence lors de l'ajout de vérifications CDC/structurelles aux pipelines de CI, lors de l'écriture d'exécuteurs qui normalisent les sorties d'outils disparates dans un schéma JSON commun, ou lors de la construction de portes de vérification assistées par LLM nécessitant à la fois des mesures numériques et une revue humaine/LLM. Elle s'adresse aux ingénieurs de vérification intégrant svlens ou des exécuteurs CDC commerciaux dans des scripts de lint et de gating.

Ce qui est inclus

Scripts : recommande un wrapper lint/scripts/run_cdc.sh (non inclus dans le contenu de SKILL.md) et décrit les lignes de commande typiques pour svlens et les outils commerciaux.
Références : liens vers le dépôt svlens et indique les champs JSON attendus comme summary.violations, analysis.overall_score, et svlens_summary.json.
Instructions : explique les modes (svlens cdc, conn, metrics, all), les sorties suggérées, les heuristiques d'interprétation (ex: seuils logic_depth_est) et les règles de porte (échec sur VIOLATION non dérogée).

Agents compatibles

Idéalement utilisée par des agents d'automatisation orientés ingénieur et des intégrateurs de CI capables d'exécuter des commandes shell et d'analyser du JSON (Copilot/automatisation de type Copilot, agents capables de CLI).