Periksa artefak SDC yang disimpan

Gunakan Altifigence CLI 0.1.9 di Linux untuk alur kerja lokal ini.

Pastikan status keluar bernilai 0 sebelum membaca hasil yang disimpan. Simpan keluaran kesalahan standar secara terpisah dan periksa bidang hasil yang dijelaskan di bawah ini.

Simpan berkas batasan literal kecil

Gunakan direktori proyek yang sudah ada dan simpan constraints.sdc di dalamnya. Mulai dengan pernyataan clock utama literal di bawah ini. Perintah pemeriksaan membaca berkas yang disimpan ini dan mengembalikan hasil parser yang didukung. Gunakan jalur proyek absolut dan kanonis serta jalur masukan yang relatif terhadap proyek tersebut. Ganti /absolute/project dalam contoh dengan direktori proyek Anda yang sebenarnya.

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

Periksa berkas yang disimpan

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

Baca sdc-receipt.json dan pastikan skemanya adalah eda.artifact-inspect.result.v1. Dokumen ini mengidentifikasi byte masukan berdasarkan digest dan panjangnya, mencatat asal parser, serta menyertakan normalized_summary dengan batasan yang telah diurai. Periksa diagnostics dan authority bersama ringkasan saat mencatat apa yang diperiksa. Hasilnya adalah rekaman pemeriksaan hanya baca untuk berkas yang dipilih.

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

Blok keluaran ini menampilkan beberapa bidang pengenal. Simpan dokumen lengkap, termasuk input, parser, normalized_summary, diagnostics, dan authority. Bidang-bidang tersebut menjaga agar interpretasi tetap terkait dengan byte tersimpan yang persis sama dan versi parser yang digunakan untuk pemeriksaan. Pemeriksaan berikutnya setelah mengedit constraints.sdc menghasilkan bukti untuk berkas yang diperbarui.

Perbaiki jalur masukan yang tidak ditemukan

Jika perintah menyebut missing.sdc alih-alih constraints.sdc yang disimpan, diagnostik input_path_invalid dimulai dengan cannot open input file: dan menyertakan alasan berkas tidak ditemukan dari sistem operasi. Pertahankan direktori proyek yang ada, ubah argumen masukan relatif menjadi constraints.sdc, dan jalankan kembali pemeriksaan di bawah ini.

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