Prüfen Sie ein gespeichertes SDC-Artefakt

Verwenden Sie für diesen lokalen Ablauf Altifigence CLI 0.1.9 unter Linux.

Setzen Sie den Exit-Status 0 voraus, bevor Sie ein gespeichertes Ergebnis lesen. Bewahren Sie die Standardfehlerausgabe separat auf und prüfen Sie die unten beschriebenen Ergebnisfelder.

Speichern Sie eine kleine Datei mit wörtlich angegebenen Randbedingungen

Verwenden Sie ein bestehendes Projektverzeichnis und speichern Sie darin constraints.sdc. Beginnen Sie mit der unten wörtlich angegebenen Anweisung für den primären Takt. Der Prüfbefehl liest diese gespeicherte Datei und gibt das unterstützte Parser-Ergebnis zurück. Verwenden Sie einen absoluten, kanonischen Projektpfad und für die Eingabe einen Pfad relativ zu diesem Projekt. Ersetzen Sie /absolute/project im Beispiel durch Ihr tatsächliches Projektverzeichnis.

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

Prüfen Sie die gespeicherte Datei

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

Lesen Sie sdc-receipt.json und bestätigen Sie, dass sein Schema eda.artifact-inspect.result.v1 ist. Das Dokument identifiziert die Eingabebytes anhand von Hashwert und Länge, erfasst die Herkunft des Parsers und enthält eine normalized_summary mit den eingelesenen Randbedingungen. Prüfen Sie diagnostics und authority zusammen mit der Zusammenfassung, wenn Sie dokumentieren, was geprüft wurde. Das Ergebnis ist ein schreibgeschützter Prüfbeleg für die ausgewählte Datei.

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

Dieser Ausgabeblock zeigt ausgewählte Identifikationsfelder. Bewahren Sie das vollständige Dokument einschließlich input, parser, normalized_summary, diagnostics und authority auf. Diese Felder binden die Interpretation an die exakt gespeicherten Bytes und die für die Prüfung verwendete Parser-Version. Eine spätere Prüfung nach der Bearbeitung von constraints.sdc erzeugt Nachweise für die aktualisierte Datei.

Korrigieren Sie einen nicht vorhandenen Eingabepfad

Wenn der Befehl missing.sdc anstelle der gespeicherten Datei constraints.sdc nennt, beginnt die Diagnose input_path_invalid mit cannot open input file: und enthält die vom Betriebssystem gemeldete Ursache der fehlenden Datei. Behalten Sie das bestehende Projektverzeichnis bei, ändern Sie das relative Eingabeargument in constraints.sdc und führen Sie die folgende Prüfung erneut aus.

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