Phân tích RTL đã lưu bằng Evolve

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 mô-đun RTL nhỏ

Lưu mô-đun bên dưới thành buffer.sv trong thư mục dự án của bạn. Sử dụng đường dẫn dự án tuyệt đối thực tế trong lệnh tiếp theo. Thao tác analyze đọc mô-đun đã lưu và chọn top cùng target được chỉ định. Bắt đầu với generic-asic để lần chạy đầu tập trung vào phân tích cấu trúc gốc của thiết kế tổ hợp nhỏ này.

module buffer(input logic a, output logic y);
  assign y = a;
endmodule

Chạy bộ phân tích chuyên biệt

alti evolve capabilities
alti evolve analyze --project /absolute/project buffer.sv --top buffer --target generic-asic > buffer-analysis.json

Mở buffer-analysis.json sau khi lệnh hoàn tất. Việc chỉ định target tường minh tạo cấu trúc bao altifigence.rtlAnalyze.multiTarget.v1. Đọc targets và primary để xác nhận cấu hình đã chọn, sau đó kiểm tra per_target cùng schematic, roofline, tool_inputs dùng chung và mọi notes. Giữ toàn bộ cấu trúc bao khi so sánh các phiên bản để mỗi chỉ số luôn gắn với mục tiêu và bằng chứng hỗ trợ của nó.

{"schema_version":"altifigence.rtlAnalyze.multiTarget.v1","targets":["generic-asic"],"primary":"generic-asic"}

Khối đầu ra trình bày một số trường nhận diện được chọn. Phân tích đầy đủ chứa vectơ chỉ số theo mục tiêu và các sản phẩm cấu trúc. Đọc thông tin về tính khả dụng và chẩn đoán gắn với từng chỉ số trước khi dùng chỉ số đó để so sánh. Lưu tệp nguồn và phân tích cùng nhau để có thể liên hệ kết quả với chính xác phiên bản mô-đun đang được xem xét.

Chọn tệp nguồn hiện có

Sử dụng missing.sv làm đối số mô-đun sẽ tạo thông báo module not found: missing.sv từ bộ phân tích gốc. Chọn tệp buffer.sv đã lưu trong dự án ở trên, giữ --top buffer và chạy lại lệnh bên dưới. Đọc kết quả mục tiêu mới và giữ toàn bộ cấu trúc bao thành công cùng phiên bản nguồn đó.

alti evolve analyze --project /absolute/project buffer.sv --top buffer --target generic-asic > buffer-analysis.json