Kiểm tra một tệp SDC đã lưu

Sử dụng Altifigence CLI 0.1.9 trên Linux cho quy trình cục bộ này.

Chỉ đọc kết quả đã lưu khi trạng thái thoát là 0. Lưu riêng luồng lỗi chuẩn và kiểm tra các trường kết quả được mô tả bên dưới.

Lưu một tệp ràng buộc nhỏ dùng giá trị tường minh

Sử dụng thư mục dự án hiện có và lưu constraints.sdc trong đó. Bắt đầu với câu lệnh khai báo clock chính bằng giá trị tường minh bên dưới. Lệnh kiểm tra đọc tệp đã lưu này và trả về kết quả từ bộ phân tích cú pháp được hỗ trợ. Sử dụng đường dẫn dự án tuyệt đối, chuẩn tắc và đường dẫn đầu vào tương đối so với dự án đó. Thay /absolute/project trong ví dụ bằng thư mục dự án thực tế của bạn.

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

Kiểm tra tệp đã lưu

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

Đọc sdc-receipt.json và xác nhận schema là eda.artifact-inspect.result.v1. Tài liệu nhận diện các byte đầu vào bằng giá trị băm và độ dài, ghi lại nguồn gốc bộ phân tích cú pháp, đồng thời bao gồm normalized_summary với các ràng buộc đã phân tích. Kiểm tra diagnostics và authority cùng bản tóm tắt khi ghi nhận nội dung đã kiểm tra. Kết quả là biên nhận kiểm tra chỉ đọc cho tệp đã chọn.

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

Khối đầu ra này trình bày một số trường nhận diện được chọn. Giữ tài liệu đầy đủ, bao gồm input, parser, normalized_summary, diagnostics và authority. Các trường đó gắn cách diễn giải với chính xác các byte đã lưu và phiên bản bộ phân tích cú pháp dùng để kiểm tra. Lần kiểm tra sau khi chỉnh sửa constraints.sdc tạo bằng chứng cho tệp đã cập nhật.

Sửa đường dẫn đầu vào bị thiếu

Nếu lệnh chỉ định missing.sdc thay vì constraints.sdc đã lưu, chẩn đoán input_path_invalid bắt đầu bằng cannot open input file: và bao gồm lý do thiếu tệp của hệ điều hành. Giữ thư mục dự án hiện có, đổi đối số đầu vào tương đối thành constraints.sdc, rồi chạy lại lệnh kiểm tra bên dưới.

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