Examiner un fichier SDC enregistré

Utilisez Altifigence CLI 0.1.9 sous Linux pour ce processus local.

Exigez un statut de sortie 0 avant de lire un résultat enregistré. Conservez la sortie d’erreur standard séparément et examinez les champs du résultat décrits ci-dessous.

Enregistrer un petit fichier de contraintes littérales

Utilisez un répertoire de projet existant et enregistrez-y constraints.sdc. Commencez par l’instruction littérale d’horloge principale ci-dessous. La commande d’inspection lit ce fichier enregistré et renvoie le résultat de l’analyseur pris en charge. Utilisez un chemin de projet absolu et canonique ainsi qu’un chemin d’entrée relatif à ce projet. Remplacez /absolute/project dans l’exemple par le répertoire réel de votre projet.

create_clock -name clk -period 10 [get_ports {clk}]

Examiner le fichier enregistré

alti eda inspect --project /absolute/project --format sdc constraints.sdc > sdc-receipt.json

Lisez sdc-receipt.json et confirmez que son schéma est eda.artifact-inspect.result.v1. Le document identifie les octets d’entrée par leur empreinte et leur longueur, consigne la provenance de l’analyseur et comprend un normalized_summary avec les contraintes analysées. Vérifiez diagnostics et authority avec le résumé lorsque vous consignez ce qui a été inspecté. Le résultat est un reçu d’inspection en lecture seule du fichier sélectionné.

{"schema":"eda.artifact-inspect.result.v1","operation_id":"eda.artifact-inspect.v1","format":"sdc"}

Ce bloc de sortie présente certains champs d’identification. Conservez le document complet, y compris input, parser, normalized_summary, diagnostics et authority. Ces champs relient l’interprétation aux octets exacts enregistrés et à la version de l’analyseur utilisée pour l’inspection. Une inspection ultérieure après modification de constraints.sdc produit des éléments de preuve pour le fichier mis à jour.

Corriger un chemin d’entrée manquant

Si la commande désigne missing.sdc au lieu du fichier enregistré constraints.sdc, le diagnostic input_path_invalid commence par cannot open input file: et inclut le motif d’absence du fichier fourni par le système d’exploitation. Conservez le répertoire de projet existant, remplacez l’argument d’entrée relatif par constraints.sdc, puis relancez l’inspection ci-dessous.

alti eda inspect --project /absolute/project --format sdc constraints.sdc > sdc-receipt.json