Các lệnh engine của CLI

Tổng quan

Trang này trình bày các lệnh engine thiết kế cục bộ, đối số chính và ranh giới thực thi của chúng. Dùng trợ giúp cấp lệnh con --help của lệnh đã cài đặt để xem toàn bộ tùy chọn và danh sách giá trị liệt kê. Đọc giới hạn của chính kết quả trước khi dùng nó làm bằng chứng kỹ thuật.

Đọc Bề mặt lệnh CLI trước. Trang đó xác định định tuyến, mã thoát, các phong bì biên nhận và quy tắc tìm tệp cùng thư mục mà mọi lệnh dưới đây phụ thuộc vào. Không gian tên job, analyze run, và evolve run được trình bày tại Các lệnh tác vụ và Cloud của CLI.

Quy ước dùng trong các bảng:

• <ANGLE> là đối số vị trí; [ANGLE]... là đối số tùy chọn có thể lặp lại.

• Các tùy chọn trong cột Bắt buộc phải có mặt, nếu không lệnh sẽ thoát với mã 2 trước khi khởi chạy bất cứ thứ gì.

• Mọi lệnh con cũng chấp nhận --json và -h/--help. Các tùy chọn này không được lặp lại ở từng hàng.

• --project là --project <PROJECT>, thư mục làm việc tùy chọn cho đường dẫn đầu vào và đầu ra tương đối, trừ khi hàng đó nêu khác. Nó phải trỏ đến một thư mục thật; giá trị không thể phân giải sẽ thoát với mã 2.

capabilities

alti capabilities kiểm tra bố cục cài đặt đã được xác thực và báo cáo bề mặt thao tác của nó. Hoàn tất Cài đặt trên Linux trước; bootstrap nhúng 0.1.9 cung cấp bố cục biên nhận và payload còn thiếu trước đây. Phản hồi năng lực không phải là bằng chứng kernel hay thiết kế đã được thực thi.

rtl

Hai mươi tám lệnh con. rtl compile và rtl synthesize là hai đường tương thích mang --runner; mọi lệnh con rtl khác đều chạy cục bộ vô điều kiện.

Khác với physical run và px analyze, hai lệnh này vẫn khởi chạy engine khi không có đối số truyền tiếp vì mỗi lệnh cung cấp một thao tác engine cố định. Sau đó engine báo lỗi thiếu đối số của chính nó và trạng thái thoát được truyền nguyên vẹn. Cung cấp đối số cần thiết sau --.

--schematic trên ba lệnh con rtl artifact chọn kho biên nhận sơ đồ cố định thay cho kho kết quả thao tác RTL.

--entry-id trên các lệnh cấp cuối về định danh đã ghi nhận phải gồm đúng 64 ký tự thập lục phân viết thường. Mọi giá trị khác đều thoát với mã 2 kèm entry id must be exactly 64 lowercase hexadecimal characters.

Giới hạn của rtl schematic

rtl schematic xác thực đường dẫn trước khi khởi chạy bất cứ thứ gì. Mỗi tệp nguồn, thư mục include và define đều bị từ chối khi tiếp nhận nếu vi phạm một trong các điều sau:

Đường dẫn phải tương đối với dự án đã chọn, không được bắt đầu bằng -, không được chứa byte điều khiển và không được chứa ... --top và tên define phải là định danh SystemVerilog dài từ 1 đến 128 byte; define có thể mang giá trị sau = với tổng độ dài tối đa 4096 byte.

Tùy chọn rtl target-analysis

admit và preflight đọc JSON gói nguồn chuẩn từ stdin và cùng yêu cầu mười một tùy chọn: --module <NAME>, --top <NAME>, --targets <CSV>, --primary-target <ID>, --tools <CSV>, --report-detail <LEVEL>, --profile <ID>, --cpu-slots <N>, --memory-bytes <N>, --max-wall-time-ms <N>, và --deadline-unix-ms <N>. --cell-decomposition là cờ boolean tùy chọn.

--cpu-slots là số nguyên không dấu 32 bit; --memory-bytes, --max-wall-time-ms, và --deadline-unix-ms là số nguyên không dấu 64 bit.

Giá trị trùng lặp hoặc không có trong danh sách ở một trong hai CSV bị từ chối khi phân tích cú pháp, ví dụ targets must be a comma-separated subset of: generic-asic, sky130-asic, xc7-fpga.

Phong bì yêu cầu mô phỏng

<REQUEST_JSON> là đường dẫn tương đối với dự án tới một tệp mà CLI đọc và kiểm tra trước khi khởi chạy bất cứ thứ gì. Đường dẫn phải được chuẩn hóa và tương đối, không được đi qua liên kết tượng trưng ở bất kỳ thành phần nào và phải phân giải bên trong thư mục gốc dự án. Tệp phải là tệp thông thường không lớn hơn 260 MiB.

JSON của nó phải là đối tượng có đúng bốn khóa:

{
  "schema": "altifigence.rtl.operation-request.v1",
  "version": 1,
  "operationId": "altifigence.rtl.simulate.v1",
  "request": {}
}

operationId phải là altifigence.rtl.simulate.v1 đối với rtl simulate và altifigence.rtl.simulate.v2 đối với rtl simulate-v2. Giá trị không khớp bị từ chối trước khi khởi chạy với RTL simulation request must be the exact <id> envelope.

Các lệnh con định danh đã ghi nhận không thể chạy

Tám lệnh cấp cuối rtl *-committed-identities list và read gửi tới engine có tên alti-rtl-runner. Tệp nhị phân đó không nằm trong 24 tệp nhị phân engine được bản phát hành xây dựng và phân phối, nên một bản cài đặt đúng không thể tìm được nó cùng thư mục với alti hay trên PATH. Gọi một trong các lệnh này tạo biên nhận engine cục bộ với status: "unavailable" và exitCode: 127:

Văn bản

$ alti --json rtl fanout-free-committed-identities list
{
  "schema": "altifigence.local-engine-execution.v1",
  "status": "unavailable",
  "domain": "rtl",
  "operation": "fanout-free-committed-identities-list",
  "runner": "local",
  "binary": "alti-rtl-runner",
  ...
}

Không xây dựng tự động hóa dựa trên tám lệnh này.

sv

Hai mươi ba lệnh con, tất cả đều cục bộ và vô điều kiện. Không lệnh nào chấp nhận --runner.

Quy tắc giá trị vị trí:

• <LINE> và <COLUMN> là số nguyên khác không đánh số từ 1. 0 thoát với mã 2.

• <REPLACEMENT> phải là định danh SystemVerilog: ký tự đầu là một chữ cái, _, hoặc $, còn các ký tự sau là chữ hoặc số, _, hoặc $.

• <REVIEWED_PLAN_SHA256> phải gồm 64 ký tự thập lục phân viết thường.

• <STABLE_ID> phải gồm 1 đến 128 ký tự là chữ thường, chữ số và dấu gạch nối.

• --filter phải gồm 1 đến 128 byte không phải byte điều khiển; --limit phải là số nguyên từ 1 đến 64 và --limit 65 thoát với mã 2.

sv frontend rename-apply là lệnh con sv duy nhất yêu cầu --project, và giá trị phải là đường dẫn tuyệt đối tới thư mục thật không phải liên kết tượng trưng. Nếu thiếu, lệnh thoát với mã 1 kèm SV rename apply requires --project <absolute-workspace>.

sv review immediate và sv review interprocess đọc nguồn SystemVerilog từ stdin. Đây là các lệnh con sv duy nhất được hỗ trợ bởi engine riêng, alti-sv-immediate-review và alti-sv-interprocess-review; mọi lệnh khác trong không gian tên đều dùng alti-sv-frontend.

sv uvm simulation admit yêu cầu mười ba tùy chọn: --bundle-id, --bundle-sha256, --source-count, --source-bytes, --test, --top, --clock, --period-ps, --cycles, --max-wall-time-ms, --max-cpu-cores, --max-memory-bytes, và --max-artifact-bytes. sv uvm simulation preflight yêu cầu mười ba tùy chọn đó cộng thêm --attempt-id, --observed-at-unix-ms, và --deadline-unix-ms, đồng thời chấp nhận boolean --cancellation-requested (mặc định false). --source-count là số nguyên không dấu 32 bit, --max-cpu-cores là số nguyên không dấu 16 bit và các tùy chọn số còn lại là số nguyên không dấu 64 bit.

verification

--tolerance-pct phải là số hữu hạn không âm; giá trị âm hoặc không phải số thoát với mã 2 kèm tolerance-pct must be a finite non-negative number.

--format ở đây chọn định dạng đầu ra của riêng engine và độc lập với cờ phong bì --json ở cấp CLI. Có thể dùng cả hai cùng nhau.

trace

<FORMAT> trên trace export là giá trị liệt kê vị trí, không phải cờ, và đứng trước đường dẫn đầu vào. Các giá trị của nó là vcd và chrome.

--reference có thể được lặp lại để chỉ định thêm hiện vật tham chiếu. <TRACE_ARTIFACT_ID>, các ID tham chiếu và <PACKAGE_ID> có thể bắt đầu bằng dấu gạch nối mà không cần --.

Lưu ý rằng alti trace không có lệnh con sẽ tới bộ phân tích cú pháp cục bộ và thoát với mã 2 để yêu cầu một lệnh con. Vì vậy hành động một từ trace trong bản kê hành động nhúng không thể truy cập từ dòng lệnh trong bản phát hành này; xem Các lệnh tác vụ và Cloud của CLI.

labs

Các mô tả chỉ đọc và xác thực. CLI không cung cấp thực thi quy trình.

labs validate áp dụng nghiêm ngặt hai đầu vào của nó và mọi quy tắc dưới đây được kiểm tra trước khi engine khởi động:

• --project phải là đường dẫn tuyệt đối tới thư mục thật, không phải liên kết tượng trưng.

• <DESCRIPTOR> phải tương đối với workspace, không được chứa .. hay thành phần gốc và dài tối đa 4096 byte.

• Nó phải dùng phần mở rộng .json.

• Nó phải phân giải tới một tệp thông thường thật tối đa 1048576 byte và đường dẫn đã phân giải vẫn phải nằm trong dự án.

tcl

Bốn lệnh đầu trả lời từ các mô tả thông qua engine alti-tcl được đóng gói và xuất phong bì engine cục bộ chuẩn.

tcl evaluate khác ở ba điểm. Nó đọc script từ stdin, giới hạn 4194304 byte; đầu vào rỗng bị từ chối. Nó yêu cầu alti-tcl-local-runner phải nằm cùng thư mục với alti và không có phương án dự phòng PATH, đồng thời kiểm tra nó với chuỗi tin cậy đã cài đặt. Bootstrap 0.1.9 cài thành phần Tcl cố định đã ký cần cho đường này; hãy dùng tệp nhị phân đã cài đặt. Nó cũng xuất lược đồ biên nhận riêng, altifigence.cli.tcl-evaluation.v1, với mã thoát riêng — cả hai được trình bày tại Bề mặt lệnh CLI.

eidb

eidb capabilities, eidb readback, và eidb semantic-readback không nhận --project; với CLI, chúng không dùng đường dẫn.

physical

Bốn mươi hai lệnh con. physical run là đường tương thích mang --runner; các lệnh còn lại chạy cục bộ vô điều kiện và mỗi lệnh truyền trực tiếp tên lệnh con của chính nó tới alti-physical-runner làm thao tác engine. Vai trò của CLI trong không gian tên này là tiếp nhận đối số và đóng khung biên nhận, nên bề mặt đủ nhất quán để trình bày thành hai nhóm.

Mỗi thao tác tiếp nối trong phạm vi mục đọc một mục được lưu bền vững do thao tác trong phạm vi dự án trước đó tạo ra. Bỏ qua --entry-id sẽ thoát với mã 2 trước khi khởi chạy bất cứ thứ gì. Đó là ba mươi sáu trong bốn mươi hai lệnh. Sáu lệnh còn lại là:

physical route-evidence-closure read là lệnh hai bước: CLI trước hết liệt kê các định danh đã ghi nhận, yêu cầu --identity-key-sha256 của bạn có trong danh sách đó rồi đọc lại đúng định danh đó. Khóa không gồm 64 ký tự thập lục phân viết thường hoặc không nằm trong danh sách hiện tại sẽ bị từ chối với mã thoát 1 trước bước thứ hai. Bước liệt kê không dùng đường dẫn và không nhận --project.

physical run sẽ không khởi chạy nếu không có thao tác engine sau --:

Văn bản

$ alti physical run
error: legacy local engine operation is required after `--`

Lệnh đó thoát với mã 1. Các thao tác cũ được chấp nhận là --capabilities-json, capabilities, và execute; mọi giá trị khác thoát với mã 1 kèm legacy local engine operation ... is not in the public allowlist.

px

px analyze là đường tương thích mang --runner. Khi đối số vị trí có tên <INPUTS_RELATIVE_...>, nó được phân giải bên trong thư mục inputs/ của dự án, không dựa trên thư mục làm việc của bạn.

Ba lệnh trong số này nêu giới hạn riêng trong văn bản trợ giúp và các giới hạn đó là một phần của hợp đồng: px static-timing rõ ràng không dùng cho signoff, px spef-summary rõ ràng không có thẩm quyền phân tích và px fdtd2d preflight báo trở ngại về mức sẵn sàng thay vì kết quả. Hãy hiểu đầu ra tương ứng.

Tương tự physical run, px analyze yêu cầu thao tác cũ sau -- và nếu không có sẽ thoát với mã 1. Danh sách cho phép của nó là capabilities và execute.

Các thao tác PX CPU và CUDA

Các lệnh này chấp nhận --project; hai lệnh đầu cũng chấp nhận --timeout-ms 1..300000. Lựa chọn tường minh cuda yêu cầu thực thi CUDA có thể sử dụng. auto cho phép riêng phương án CPU dự phòng được engine ghi nhận; kiểm tra backend được báo cáo. Các thao tác số có giới hạn này không chứng minh signoff vật lý tổng quát hay tăng tốc GPU cho mọi thao tác PX.

isa

Bốn trong sáu lệnh con chỉ đọc nguồn CX từ stdin. isa run là đường tương thích mang --runner.

--check chỉ chấp nhận elaboration, static-semantics, encoding-uniqueness, và decode-determinism. --bit-len là số nguyên không dấu 32 bit. --text và --bits không được rỗng hay chỉ có khoảng trắng.

Khác với physical run và px analyze, isa run mang một thao tác engine cố định, nên vẫn khởi chạy khi không có đối số truyền tiếp và engine tự báo các yêu cầu của nó:

Văn bản

$ alti isa run
cx run: run requires --program <path> or --program-text
[failed] isa.run runner=local engine=alti-cx/run executable=alti-cx resolution=path exit=1 project=.

ide

Các thao tác trên host Desktop. Tính toán vẫn nằm trong các không gian tên engine ở trên.

ide open khởi chạy ứng dụng desktop được cài riêng. Các lệnh workspace native, Cloud, dịch vụ và tạo dự án dưới đây hoạt động qua backend rõ ràng riêng của chúng.

--project phải là thư mục tuyệt đối chuẩn: tuyệt đối, đã tồn tại, không phải liên kết tượng trưng và bằng chính dạng chuẩn của nó. Đường dẫn phân giải qua symlink bị từ chối thay vì âm thầm đi theo.

ide open không dùng tệp nhị phân engine. Nó tìm một tệp thực thi tên altifigence-ide cùng thư mục với alti rồi trên PATH, khởi chạy nó với --project <canonical-dir> và xuất biên nhận altifigence.ide-launcher-receipt.v1:

Trạng thái thoát là 0 đối với spawned và 1 trong các trường hợp khác. altifigence-ide được phân phối cùng Digital Design Studio, không cùng kho lưu trữ CLI, nên ide open báo unavailable từ bản cài đặt chỉ có CLI.

Các thao tác dự án và workspace native

ide init --parent ABSOLUTE_DIR --name NAME tạo scaffold mới bên trong thư mục cha chuẩn thuộc sở hữu của bên gọi. Nó không ghi đè dự án hiện có. ide workspace thao tác trên các tệp cục bộ đã lưu mà không mở UI:

Kết quả kế hoạch native là đầu vào áp dụng hoàn chỉnh, không diễn giải nội dung bên trong. Lưu đầu ra engine thô mà không có tùy chọn toàn cục --json, xem xét nó rồi truyền cùng tài liệu đó cho lệnh apply tương ứng. Ví dụ, với dự án tuyệt đối hiện có và yêu cầu phân cấp có kiểu:

alti ide workspace hierarchy-plan --project "$PROJECT" \
  --request "$HIERARCHY_REQUEST" > "$PLAN_FILE"
# Review the complete plan and changed source before the next command.
alti ide workspace hierarchy-apply --project "$PROJECT" --request "$PLAN_FILE"

Không truyền đầu ra của lệnh thất bại qua pipe vào apply. Chọn tệp kế hoạch mới và kiểm tra từng trạng thái thoát. Soạn thảo tệp dùng giao dịch bền vững, tuần tự hóa và hash nguồn hiện tại; đây không phải tính nguyên tử tức thời trên toàn hệ thống tệp đối với các bên ghi khác. Xung đột yêu cầu xem xét lại. Soạn thảo phân cấp là lựa chọn nguồn và dựng scaffold có giới hạn, không phải tái cấu trúc ngữ nghĩa SystemVerilog đầy đủ hay bằng chứng tương đương.

Cài đặt giữ nguyên định dạng DDS .alti/ide-settings.json, các khóa không biết và giá trị null nguyên văn. Bản vá là hợp nhất đệ quy, không phải xóa theo RFC 7396. Giới hạn yêu cầu/kết quả là 256 KiB và độ sâu 8; UI native và CLI dùng cùng .alti/.ide-settings.lock. CLI thao tác với định dạng dự án hiện tại, không phải phạm vi cài đặt toàn desktop độc lập thứ hai.

Giao dịch native và Git yêu cầu hợp đồng Linux. Khôi phục hiện tại đọc cả journal V1 và V2. Sau khi thao tác tạo/xóa hoặc apply phân cấp bị gián đoạn, hãy chạy health của CLI mới trước khi mở backend DDS cũ chỉ hỗ trợ V1. Backend cũ từ chối journal V2 đang chờ mà không xóa nó. Giao dịch hoàn tất bình thường sẽ xóa journal hoạt động; nên nâng cấp backend để khôi phục trong suốt, nhưng đó không phải điều kiện tiên quyết cho mọi chỉnh sửa CLI đã hoàn tất.

Git

Trong ide workspace git, mọi lệnh nhận --project ABS:

Các thao tác này khôi phục và tuần tự hóa cùng giao dịch workspace native. Chúng không cung cấp đối số Git tùy ý, hook hay thông tin xác thực đẩy lên remote.

Tìm kiếm nguồn đã lưu

alti ide workspace search --project "$PROJECT" --query 'module' --limit 80

Tìm kiếm native hỗ trợ --match-case, --whole-word, một --regex thận trọng có độ rộng cố định, giới hạn 1–500 kết quả và --timeout-seconds 1..120. Nó đọc văn bản đã lưu qua ranh giới files/read native, với giới hạn 500 tệp, 4 MiB mỗi tệp, tổng 16 MiB và đầu ra 1 MiB. Kiểm tra tình trạng cắt ngắn và bằng chứng nội dung. Không tìm kiếm bộ đệm trình soạn thảo chưa lưu. Tìm kiếm Cloud và tìm kiếm/thay thế HTTP cũ là các thao tác dịch vụ.

xls

Đường native hỗ trợ hàm DSLX và XLS IR có giới hạn với giá trị 1–64 bit, gấp hằng/loại bỏ mã chết và RTL tổ hợp hoặc RTL có 1–16 tầng thanh ghi đầu ra. Yêu cầu chọn cpu hoặc chọn tường minh cuda cho đánh giá theo lô được hỗ trợ. Backend CUDA không sẵn có là lỗi, không tự động chạy CPU. Bắt đầu với ví dụ CPU.

Đường upstream riêng cài toolchain Google XLS Linux công khai đã ghim, xác minh kho lưu trữ cùng danh mục công cụ/stdlib và giữ nguyên tệp giấy phép. Nó hỗ trợ import, tham số hóa, struct, enum, kiểu tổng hợp, kiểu độ rộng tùy ý và proc khi công cụ upstream đã chọn hỗ trợ thao tác được yêu cầu. Nó không dùng bộ phân tích bits64 có giới hạn hay tăng tốc toàn bộ toolchain Google bằng CUDA.

Yêu cầu upstream chọn check, eval, convert, optimize, hoặc codegen. DSLX eval không có vector/tick tường minh sẽ chạy kiểm thử module thực tế; không chạy kiểm thử đơn vị nào không phải thành công. Kho lưu trữ cơ sở không chứa các tệp thực thi đánh giá IR/proc độc lập. Vector tường minh hoặc tick kênh yêu cầu thêm gói evaluator đã xác minh được tiếp nhận trong lúc cài đặt bằng --evaluator-bundle và --evaluator-manifest-sha256. Kiểm tra năng lực trước khi yêu cầu các thao tác đó. Sinh mã pipeline upstream hỗ trợ 1–64 tầng; lịch unit-delay của nó không phải thời gian silicon đã đặc trưng hóa.

compute

Các lệnh yêu cầu chấp nhận --project. Đầu vào Simulation/Evolve được giới hạn ở 4 MiB; đầu vào verify ở 16 MiB. Engine được đóng gói alti-rtl-cuda sở hữu đường này. compute rtl-evolve nhận altifigence.rtl.evolve-request.v1, với yêu cầu sinh native hiện có được lồng trong request; đây không phải phong bì thao tác evolve run.

Evolve CUDA tính chẩn đoán hoạt động tổ hợp có giới hạn. Sinh ứng viên, kiểm tra tính đúng, tổng hợp và đánh giá mục tiêu vẫn trên CPU. Các công cụ Icarus thực tế iverilog và vvp phải sẵn có qua cấu hình công cụ của host. cpu-reference yêu cầu cuda_timeout_ms: 0 và device_memory_bytes: 0; cuda từ chối thực thi không sẵn có thay vì dùng phương án dự phòng. Dùng request.run_dir mới với thư mục cha hiện có.

Yêu cầu giới hạn số thế hệ và con ở 1–16, số island ở 1–4, tổng số đánh giá dự kiến ở 256 và số con LLM bằng không. Bộ nhớ thiết bị là giới hạn bộ đệm worker, không phải giới hạn tổng bộ nhớ driver. Tùy chọn cục bộ cancel_file và thời hạn hỗ trợ hủy phối hợp; các lần gọi công cụ native vẫn có giới hạn riêng. Kết quả CUDA thành công cần hoạt động ứng viên được chấp nhận thực tế và nguồn gốc phần cứng đã lưu, không chỉ khám phá thiết bị hay thăm dò ban đầu. CPU/CUDA cho kết quả chức năng giống nhau không phải tuyên bố tăng tốc.

Các lệnh còn thiếu trong bản tải xuống hiện tại

Các không gian tên trước đây bị bỏ sót eda và reports nay đã được định tuyến:

Đây là các thao tác kiểm tra, phân tích cú pháp hoặc liên kết có giới hạn, không phải thực thi công cụ EDA tổng quát. ide init và các lệnh Evolve native tường minh cũng sẵn có. Đường tương thích alti-rtl-runner không được phân phối nêu ở trên vẫn là giới hạn riêng; không suy ra hỗ trợ chỉ từ trợ giúp.

Chuẩn bị quy trình engine

1. Chọn thao tác và đọc phản hồi năng lực đã cài cùng trợ giúp cấp lệnh con.

2. Tạo đầu vào nhỏ đã lưu trong dự án đã chọn và xác định top/module hoặc điểm vào.

3. Cung cấp công cụ ngoài bắt buộc và dùng backend tường minh khi yêu cầu hỗ trợ lựa chọn CPU/CUDA.

4. Chạy một lần với tài nguyên có giới hạn và giữ chẩn đoán cùng toàn bộ kết quả native.

5. Kiểm tra backend thực tế, đầu vào, hiện vật đầu ra và chỉ số không được hỗ trợ trước khi xây dựng quy trình lớn hơn.

Dùng Phân tích DDS cho quy trình đồ họa và Evolve để so sánh ứng viên. Hỗ trợ engine CLI, panel desktop và đường Cloud là các tích hợp riêng; kiểm tra quy trình bạn thực sự sẽ dùng.