保存した SDC アーティファクトを確認する

このローカルワークフローでは、Linux 上の Altifigence CLI 0.1.9 を使用します。

保存した結果を読む前に、終了ステータスが 0 であることを確認してください。標準エラー出力は別に保存し、以下で説明する結果フィールドを確認します。

リテラルを使用した小さな制約ファイルを保存する

既存のプロジェクトディレクトリを使用し、その中に constraints.sdc を保存します。まずは、以下のリテラルを使用したプライマリクロック文から始めてください。検査コマンドは、この保存済みファイルを読み、対応するパーサーの結果を返します。プロジェクトには正規化された絶対パスを使用し、入力にはそのプロジェクトからの相対パスを使用してください。例の /absolute/project を実際のプロジェクトディレクトリに置き換えます。

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

保存したファイルを検査する

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

sdc-receipt.json を読み、スキーマが eda.artifact-inspect.result.v1 であることを確認します。このドキュメントは、ダイジェストと長さで入力バイト列を識別し、パーサーの来歴を記録し、解析した制約を含む normalized_summary を提供します。検査内容を記録する際は、サマリーとともに diagnostics と authority を確認してください。この結果は、選択したファイルの読み取り専用の検査レシートです。

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

この出力ブロックは識別フィールドの一部を示しています。input、parser、normalized_summary、diagnostics、authority を含む完全なドキュメントを保持してください。これらのフィールドにより、解釈が検査に使用した正確な保存済みバイト列とパーサーバージョンに結び付けられます。constraints.sdc を編集してから再検査すると、更新後のファイルの証拠が生成されます。

存在しない入力パスを修正する

コマンドで missing.sdc を指定し、保存済みの constraints.sdc を指定していない場合、input_path_invalid 診断は cannot open input file: で始まり、オペレーティングシステムが示すファイル不在の理由を含みます。既存のプロジェクトディレクトリはそのまま使用し、相対入力引数を constraints.sdc に変更して、以下の検査を再実行してください。

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