CLI 엔진 명령어#

하위 명령, 위치 인수, 플래그, 기본값 및 값 열거로 모든 로컬 파싱된 alti 네임스페이스입니다.

한국어 번역 검토 중 기술적 의미가 충돌하는 경우 영어 원문을 기준으로 사용하세요.

개요#

이 페이지에는 각 하위 명령의 위치 인수, 옵션, 기본값 및 값 열거로 로컬 파서가 허용하는 모든 네임스페이스가 나열됩니다. 서명 참조입니다. CLI가 허용하는 것과 엔진이 계산하는 것이 아니라 요청을 전달하는 엔진이 표시됩니다.

CLI 명령 표면를 먼저 읽습니다. 아래의 모든 명령에 따라 라우팅, 종료 코드, 영수증 및 형제 해상도 규칙을 정의합니다. job 네임스페이스, analyze run 및 evolve run는 CLI 작업 및 클라우드 명령에 있습니다.

테이블에 사용 되는 규칙:

<ANGLE>는 위치 인자입니다; [ANGLE]...는 반복 가능한 옵션입니다.
필수열의 옵션이 있어야 하며, 명령이 실행되기 전에 2를 종료해야 합니다.
모든 하위 명령은 --json 및 -h/--help도 허용합니다. 이들은 행당 반복되지 않습니다.
--project is --project <PROJECT>, an optional working directory for relative input and output paths, unless a row says otherwise. It must resolve to a real directory; an unresolvable value exits 2.

capabilities#

명령	설정	용도
`alti capabilities`	—	설치된 서명된 릴리스에서 엔진 로컬 기능 보고

--json를 넘어서는 하위 명령과 옵션이 없습니다. 이 명령은 PREFIX/bin/alti와 영수증 기반 릴리스 페이로드를 보고하기 전에 해결하므로 압축된 평면 아카이브에서 성공할 수 없습니다. 다른 레이아웃에서 error: installed alti binary is not below PREFIX/bin로 실패하고 1를 종료합니다.

rtl#

28개의 하위 명령. rtl compile 및 rtl synthesize는 두 개의 --runner 운반 호환성 경로입니다. 다른 모든 rtl 하위 명령은 로컬 및 무조건적으로 실행됩니다.

physical run 및 px analyze와 달리 두 엔진은 각각 고정 된 엔진 작동을 제공하기 때문에 패스 스루 인수없이 엔진을 시작합니다. 그런 다음 엔진은 자체 누락 인수 오류를보고하고 종료 상태는 변경되지 않습니다. -- 후에 필요한 인수를 제공하십시오.

명령	필수	다른 옵션	용도
`rtl compile`	—	`--runner <local\|cloud\|private>` (default `local`), `--project`, `-- <ENGINE_ARG>...`	Compatibility path delegating to the packaged compile engine
`rtl synthesize`	—	`--runner` (기본값 `local`), `--project`, `-- <ENGINE_ARG>...`	원본 원시 로컬 신디사이저 위임의 호환성 맞춤법
`rtl schematic <FILE>...`	적어도 하나의 `<FILE>`	`--project`, `--top <TOP>`, `--형식 <json\|text>` (default `json`), `-I <DIR>`, `-D <NAME[=VALUE]>`	저장된 RTL 소스에 대한 컴파일러에서 입증된 도식 계약 구현
`rtl analysis <PATH>...`	적어도 하나의 `<PATH>`	`--project`	명명된 소스에서 패키지 분석 작업 실행
`rtl synth [FILE]...`	`--top <TOP>`	`--project`, `--pretty`, `--netlist-only`, `--source <LOGICAL_PATH> <DISK_PATH>`	패키지 합성 작업 실행
`rtl map`	`--netlist <NETLIST>`, `--liberty <LIBERTY>`	`--project`, `--pretty`	패키징된 기술 매핑 작업 실행
`rtl target-analysis capabilities`	—	—	고정 타겟 분석 계약 및 실행자 가용성 보고
`rtl target-analysis readiness`	—	—	읽기 전용 대상 분석 실행 준비 완료
`rtl target-analysis admit`	아래는 11가지 옵션	`--cell-decomposition`	stdin에서 소스 번들 JSON에서 한 개의 입력된 입학 확인
`rtl target-analysis preflight`	아래는 11가지 옵션	`--cell-decomposition`	stdin에서 소스 번들 JSON에서 구조 사전 비행 실행
`rtl simulate admit\|preflight\|run <REQUEST_JSON>`	`<REQUEST_JSON>`	`--project`	Admit, preflight, or execute one bounded saved RTL simulation request
`rtl simulate-v2 capabilities`	—	—	고정 4주 멀티 클럭 시뮬레이션 계약 보고
`rtl simulate-v2 admit\|preflight\|run <REQUEST_JSON>`	`<REQUEST_JSON>`	`--project`	Admit, preflight, or execute one bounded four-state multi-clock request
`rtl artifact store <RESULT_JSON_OR_DASH>`	`<RESULT_JSON_OR_DASH>`	`--project`, `--schematic`	프로젝트 아티팩트 저장소에 결과 영수증 1개 유지
`rtl artifact list`	—	`--project`, `--schematic`	저장된 항목 목록
`rtl artifact show <ENTRY_ID>`	`<ENTRY_ID>`	`--project`, `--schematic`	저장된 항목 한 개 읽기
`rtl fanout-free-committed-identities list`	—	`--project`	고정된 소유자-개인 레지스트리에 확인된 신원을 나열합니다
`rtl fanout-free-committed-identities read`	`--entry-id <SHA256>`	`--project`	현재 확인된 목록에서 선택한 ID를 다시 읽습니다.
`rtl global-sharing-committed-identities list\|read`	`read`: `--entry-id <SHA256>`	`--project`	As above, for global-sharing identities
`rtl mapped-timing-committed-identities list\|read`	`read`: `--entry-id <SHA256>`	`--project`	As above, for mapped-timing identities
`rtl mapped-register-timing-committed-identities list\|read`	`read`: `--entry-id <SHA256>`	`--project`	As above, for mapped-register-timing identities

3개의 rtl artifact 하위 명령에 있는 --schematic는 RTL 작업 결과 저장소 대신 고정된 도식 영수증 저장소를 선택합니다.

커밋된 ID 잎의 --entry-id는 정확히 64개의 소문자 16진수여야 합니다. 그 외의 것은 entry id must be exactly 64 lowercase hexadecimal characters로 2를 종료합니다.

rtl 회로도 경계#

rtl schematic는 아무것도 실행하기 전에 경로를 확인합니다. 각 소스 파일은 디렉토리를 포함하며, 다음 중 하나를 중단하면 승인 시 거부됩니다.

제한	값
소스 파일	최대 256
디렉토리 포함 (`-I`)	최대 128
정의합니다 (`-D`)	최대 256
경로 길이	1 ~ 4096 바이트
경로 구성 요소	1에서 128
하나의 경로 구성 요소	최대 255 바이트

경로는 선택한 프로젝트에 대해 상대적이어야 하며, -로 시작해서는 안 되며, 제어 바이트를 포함할 수 없으며 ..를 포함할 수 없습니다. --top와 정의 이름은 1~128바이트의 SystemVerilog 식별자여야 합니다. 정의는 총 4096바이트까지 = 뒤에 값을 전달할 수 있습니다.

rtl 타겟 분석 옵션#

admit and preflight read canonical source-bundle JSON from stdin and both require the same eleven options: --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>, and --deadline-unix-ms <N>. --cell-decomposition is an optional boolean flag.

옵션	허용된 값
`--primary-target`	`generic-asic`, `sky130-asic`, `xc7-fpga`
`--targets`	`generic-asic`, `sky130-asic`, `xc7-fpga`의 쉼표로 구분된 부분 집합, 중복 없음
`--tools`	`waveform`, `schematic`, `roofline`, `perf`, `timing`, `ppa`, `evidence`의 쉼표로 구분된 부분 집합, 중복 없음
`--report-detail`	`brief`, `standard`, `detailed`

--cpu-slots는 32비트 부호 없는 정수입니다. --memory-bytes, --max-wall-time-ms 및 --deadline-unix-ms는 64비트 부호 없는 정수입니다.

CSV 중 하나에서 중복되거나 나열되지 않은 값은 파싱 시간(예: targets must be a comma-separated subset of: generic-asic, sky130-asic, xc7-fpga)에 거부됩니다.

시뮬레이션 요청 봉투#

<REQUEST_JSON>는 CLI가 무언가를 실행하기 전에 읽고 검사하는 파일에 대한 프로젝트 관련 경로입니다. 경로는 정규화되고 상대적이어야하며 모든 구성 요소에서 심볼릭 링크를 건너서는 안되며 프로젝트 루트 내에서 해결되어야합니다. 파일은 260 MiB보다 큰 일반 파일이어야합니다.

JSON는 정확히 4개의 키를 가진 객체여야 한다.

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

operationId must be altifigence.rtl.simulate.v1 for rtl simulate and altifigence.rtl.simulate.v2 for rtl simulate-v2. A mismatch is refused before launch with RTL simulation request must be the exact <id> envelope.

committed-identity 하위 명령은 실행할 수 없습니다.#

The eight rtl *-committed-identities list and read leaves dispatch to an engine named alti-rtl-runner. That binary is not one of the nineteen engine binaries the release builds and ships, so it can be resolved neither as a sibling of alti nor on PATH from a correct installation. Invoking one produces a local-engine receipt with status: "unavailable" and exitCode: 127:

$ 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",
  ...
}

이 8 가지 명령을 자동화하지 마십시오.

sv#

23 개의 하위 명령, 모든 로컬 및 무조건. 아무도 --runner를 수락하지 않습니다.

명령	필수	다른 옵션	용도
`sv frontend index [PATH]...`	—	`--project`	이름이 지정된 경로 위에 프론트엔드 인덱스를 작성합니다.
`sv frontend symbols [PATH]...`	—	`--project`	명명된 경로에 대한 기호 서페이스 보고
`sv frontend symbols-v2 [PATH]...`	—	`--project`	2세대 심볼 응답 형태
`sv frontend definition <PATH> <LINE> <COLUMN> [ANALYSIS_PATH]...`	위치	`--project`	한 위치에서 정의 해결
`sv frontend hover <PATH> <LINE> <COLUMN> [ANALYSIS_PATH]...`	위치	`--project`	한 위치에서 호버 응답 해결
`sv frontend complete <PREFIX> [PATH]...`	`<PREFIX>`	`--project`	하나의 접두사에 대한 완료 해결
`sv frontend references <PATH> <LINE> <COLUMN> [ANALYSIS_PATH]...`	위치	`--project`	한 위치에서 기호에 대한 참조 해결
`sv frontend rename-plan <PATH> <LINE> <COLUMN> <REPLACEMENT> [ANALYSIS_PATH]...`	위치, `<REPLACEMENT>`	`--project`	파일 편집 없이 이름 바꾸기 계획 생성
`sv frontend rename-apply <PATH> <LINE> <COLUMN> <REPLACEMENT> <REVIEWED_PLAN_SHA256>`	5명 모두	`--project <ABSOLUTE_WORKSPACE>` 필요	검토된 계획의 해시에서 이름을 변경하여 적용합니다.
`sv review immediate`	—	—	컴파일하거나 시뮬레이션하지 않고 즉각적인 주장을 검토합니다.
`sv review interprocess`	—	—	컴파일하거나 시뮬레이션하지 않고 프로세스 간 동기화 검토
`sv library constrained-random list`	—	`--category <item\|control\|checker>`, `--filter <FILTER>`, `--limit <LIMIT>` (default `64`)	List entries in the constrained-random reference catalog
`sv library constrained-random show <STABLE_ID>`	`<STABLE_ID>`	—	임의 카탈로그 항목 한 개 보이기
`sv library sva list`	—	`--category`, `--filter`, `--limit` (과태 `64`), 등등.	SVA 참조 카탈로그의 항목 목록
`sv library sva show <STABLE_ID>`	`<STABLE_ID>`	—	하나의 SVA 카탈로그 항목 보기
`sv uvm capabilities`	—	—	컴파일된 UVM 브리지 계약 보고
`sv uvm environment`	—	—	UVM 브리지 환경 보기 보고
`sv uvm readiness`	—	—	서명된 고정 구성 요소 준비 영수증을 로드하거나 실행하지 않고 반환합니다.
`sv uvm abi`	—	—	UVM 브리지 보고 ABI
`sv uvm simulation capabilities`	—	—	제한된 UVM 시뮬레이션 계약 보고
`sv uvm simulation readiness`	—	—	경로가 없는 구현 및 외부 실행 권한 준비성 보고
`sv uvm simulation admit`	아래 13가지 옵션	—	바인드된 실패 닫힘 UVM 시뮬레이션 요청 검증
`sv uvm simulation preflight`	아래 16가지 옵션	`--cancellation-requested`	사전 비행 한 경계 실패 폐쇄 UVM 시뮬레이션 요청

위치 값 규칙:

<LINE> 및 <COLUMN>는 0이 아닌 1 기반 정수입니다. 0는 2를 종료합니다.
<REPLACEMENT>는 SystemVerilog 식별자여야 합니다. 첫 번째 문자는 문자 _ 또는 $이며 나머지는 영숫자, _ 또는 $입니다.
<REVIEWED_PLAN_SHA256>는 64개의 소문자 16진수여야 합니다.
<STABLE_ID>는 소문자, 숫자 및 하이픈에서 가져온 1~128자여야 합니다.
--filter는 1~128 비제어 바이트여야 하며, --limit는 1~64 사이의 정수여야 하고 --limit 65는 2를 종료해야 합니다.

sv frontend rename-apply is the only sv subcommand that requires --project, and the value must be an absolute path to a real directory that is not a symbolic link. Without it the command exits 1 with SV rename apply requires --project <absolute-workspace>.

sv review immediate 및 sv review interprocess는 stdin에서 SystemVerilog 소스를 읽습니다. 그들은 자신의 엔진 인 alti-sv-immediate-review 및 alti-sv-interprocess-review로 지원되는 유일한 sv 하위 명령입니다. 네임 스페이스의 다른 모든 것은 alti-sv-frontend를 사용합니다.

sv uvm simulation admit requires thirteen options: --bundle-id, --bundle-sha256, --source-count, --source-bytes, --test, --top, --clock, --period-ps, --cycles, --max-wall-time-ms, --max-cpu-cores, --max-memory-bytes, and --max-artifact-bytes. sv uvm simulation preflight requires those thirteen plus --attempt-id, --observed-at-unix-ms, and --deadline-unix-ms, and additionally accepts the boolean --cancellation-requested (default false). --source-count is a 32-bit unsigned integer, --max-cpu-cores is a 16-bit unsigned integer, and the remaining numeric options are 64-bit unsigned integers.

verification#

명령	필수	다른 옵션	용도
`verification golden-diff emit-profile <TRACE>`	`<TRACE>`	`--project`, `--tolerance-pct <TOLERANCE_PCT>` (과태 `10`)	하나의 추적에서 비교 프로파일을 내립니다.
`verification golden-diff check <REFERENCE> <TRACE>`	both	`--project`, `--format <text\|json\|json-v1>` (default `text`)	Check one trace against a reference

--tolerance-pct는 음수가 아닌 유한 숫자여야 합니다. 음수 또는 숫자가 아닌 값은 tolerance-pct must be a finite non-negative number를 사용하여 2를 종료합니다.

여기서 --format는 엔진 자체 출력 형식을 선택하고 CLI 레벨 --json 엔벨로프 플래그와 독립적입니다. 둘 다 함께 사용할 수 있습니다.

trace#

명령	필수	다른 옵션	용도
`trace inspect <TRACE>`	`<TRACE>`	`--project`, `--형식 <json\|텍스트>` (default `json`)	하나의 추적 파일 검사
`trace timeline <TRACE> <OUTPUT>`	둘 다	`--project`	하나의 추적에 대한 타임라인 보기를 `<OUTPUT>`에 쓰기
`trace export <FORMAT> <TRACE> <OUTPUT>`	세 사람 모두	`--project`	추적 정보 한 개 내보내기
`trace review materialize <TRACE_ARTIFACT_ID>`	`<TRACE_ARTIFACT_ID>`	`--project`, `--reference <REFERENCE_ARTIFACT_IDS>` (반복 가능)	소유자 저장소 아티팩트 ID에서 하나의 v1 리뷰 패키지 구체화
`trace review list`	—	`--project`	가장 최근 5개의 소유자 저장소 검토 패키지 목록
`trace review show <PACKAGE_ID>`	`<PACKAGE_ID>`	`--project`	경로 없는 검토 패키지 요약 보기
`trace review readback <PACKAGE_ID>`	`<PACKAGE_ID>`	`--project`	검증된 리뷰 패키지 다시 읽기

trace export의 <FORMAT>는 플래그가 아닌위치값 열거형이며 입력 경로 앞에 있습니다. 그 값은 vcd 및 chrome입니다.

--reference를 반복하여 추가 참조 아티팩트를 지정할 수 있습니다. <TRACE_ARTIFACT_ID>, 참조 ID 및 <PACKAGE_ID>는 -- 없이 하이픈으로 시작할 수 있습니다.

하위 명령이 없는 alti trace는 로컬 파서에 도달하여 하위 명령을 요구하는 2를 종료합니다. 포함된 작업 매니페스트에서 한 단어 trace 작업은 이 릴리스의 명령줄에서 액세스할 수 없습니다. CLI 작업 및 클라우드 명령를 참조하십시오.

labs#

읽기 전용 설명자 및 유효성 검사. CLI는 워크플로 실행을 노출하지 않습니다.

명령	필수	다른 옵션	용도
`labs inspect`	—	—	수정된 컴파일 시간 워크플로 설명자 카탈로그를 검사합니다.
`labs validate <DESCRIPTOR>`	`<DESCRIPTOR>`, `--project <ABSOLUTE_WORKSPACE>`	—	JSON boundary-health 디스크립터를 실행하지 않고 검사함
`labs status`	—	—	결정론적 서술자 전용 Labs 상태 방출하기

labs validate는 두 개의 입력에 대해 엄격하며 엔진이 시작되기 전에 아래의 모든 규칙을 확인합니다.

--project는 심볼릭 링크가 아닌 실제 디렉터리의 절대 경로여야 합니다.
<DESCRIPTOR>는 workspace-relative여야 하며, .. 또는 루트 구성 요소를 포함하지 않아야 하며, 최대 4096바이트여야 합니다.
.json 확장을 사용해야 합니다.
최대 1048576바이트의 실제 일반 파일로 해결되어야 하며 해결된 경로는 여전히 프로젝트 내부에 있어야 합니다.

tcl#

명령	필수	다른 옵션	용도
`tcl capabilities`	—	—	Tcl 런타임 기능 설명자 보고
`tcl environment`	—	—	Tcl 런타임 환경 설명자 보고
`tcl commands`	—	—	바인딩된 명령 설명자 보고
`tcl readiness`	—	—	Tcl을로드하지 않고 고정 된 서명 된 런타임 준비 영수증을 반환합니다.
`tcl evaluate`	—	—	stdin에서 읽은 바인드된 Tcl 스크립트 하나 평가

alti-tcl 엔진을 통해 설명자의 첫 번째 네 가지 답변은 표준 로컬 엔진 엔벨로프를 방출합니다.

tcl evaluate is different in three ways. It reads the script from stdin, with a bound of 4194304 bytes; empty input is refused. It requires alti-tcl-local-runner as a strict sibling of alti with no PATH fallback, and checks it against the installed trust chain, so like alti capabilities it cannot succeed from the flat extracted archive. And it emits its own receipt schema, altifigence.cli.tcl-evaluation.v1, with its own exit codes — both are in CLI command surface.

eidb#

명령	필수	다른 옵션	용도
`eidb capabilities`	—	—	EIDB 경계 계약 보고
`eidb list`	—	`--project`	프로젝트 아래에 번들 목록
`eidb create`	`--source-artifact-ref <WORKSPACE_RELATIVE_ARTIFACT>`	`--project`, `--label <LABEL>`	작업 공간 관련 아티팩트에서 R1 번들 생성
`eidb export`	`--bundle-key <BUNDLE_KEY>`	`--project`	하나의 번들의 휴대용 수출을 생산
`eidb readback`	`--bundle-key <BUNDLE_KEY>`	—	1개의 뭉치 뒤 읽기
`eidb semantic-readback`	`--bundle-key <BUNDLE_KEY>`	—	시맨틱 뷰를 통해 하나의 번들 읽기

eidb capabilities, eidb readback, and eidb semantic-readback take no --project; they are pathless with respect to the CLI.

physical#

42개의 하위 명령. physical run는 --runner-운용 호환성 경로입니다. 나머지는 로컬 및 무조건적으로 실행되며, 각각은 엔진 작동으로 alti-physical-runner에 자신의 하위 명령 이름을 직접 전달합니다. 이 네임스페이스에서 CLI의 역할은 인수 허용 및 수신 프레임이므로 표면은 두 그룹으로 제공하기에 충분히 규칙적입니다.

그룹	회원	인수
프로젝트 범위 운영	`pdn-stripe-plan`, `optimize-clock-tree`, `optimize-global-route`, `optimize-placement`, `placement-legalize`, `placement-pipeline-manifest`, `placement-pipeline-run`, `placement-seed-grid`, `single-clock-tree`, `two-pin-manhattan-route`, `two-pin-manhattan-route-congestion`, `two-pin-obstacle-route`, `two-pin-obstacle-route-bend-aware`, `multi-net-obstacle-route`, `multi-net-obstacle-route-bend-aware`, `multi-net-uniform-capacity-route`, `multi-net-edge-capacity-route`, `multi-net-congestion-cost-route`, `multi-net-congestion-cost-route-improve`, `multi-net-congestion-cost-route-improve-two-pass`, `multi-net-congestion-cost-route-improve-bounded`	`--project` 전용
엔트리 스코프 Follow-ups	`optimize-detailed-route`, `verify-detailed-route`, `placement-pipeline-analyze`, `placement-pipeline-verify`, `multi-net-route-metrics`, `two-pin-manhattan-route-verify`, `two-pin-obstacle-route-verify`, `multi-net-obstacle-route-verify`, `multi-net-obstacle-route-bend-aware-verify`, `multi-net-uniform-capacity-route-verify`, `multi-net-edge-capacity-route-verify`, `multi-net-congestion-cost-route-verify`, `multi-net-congestion-cost-route-improve-verify`, `multi-net-congestion-cost-route-improve-two-pass-verify`, `multi-net-congestion-cost-route-improve-bounded-verify`	`--entry-id <ENTRY_ID>` 필요, 플러스 `--project`

모든 엔트리 스코프 후속 조치는 이전 프로젝트 스코프 작업에서 생성 된 지속 된 항목을 읽습니다. --entry-id를 생략하면 2가 시작됩니다. 그것은 42 개 중 36 개입니다. 나머지 6 개는 다음과 같습니다.

명령	필수	다른 옵션	용도
`physical route-evidence-closure list`	—	—	현재 프로젝트 아래에 바운디드된 커밋된 ID 목록
`physical route-evidence-closure read`	`--identity-key-sha256 <LOWERCASE_SHA256>`	—	현재 경계 목록에서 정확히 하나의 ID를 선택함
`physical artifact store <RESULT_JSON_OR_DASH>`	`<RESULT_JSON_OR_DASH>`	`--project`	프로젝트 아티팩트 저장소에 결과 영수증 1개 유지
`physical artifact list`	—	`--project`	저장된 항목 목록
`physical artifact show <ENTRY_ID>`	`<ENTRY_ID>`	`--project`	저장된 항목 한 개 읽기
`physical run`	—	`--runner` (기본값 `local`), `--project`, `-- <ENGINE_ARG>...`	원래의 raw runner 위임에 대한 호환성 경로

physical route-evidence-closure read is a two-step command: the CLI first lists the committed identities, requires that your --identity-key-sha256 appears in that list, then rereads exactly that one. A key that is not 64 lowercase hexadecimal characters, or that is not in the current list, is refused with exit 1 before the second step. The list step is pathless and does not take --project.

physical run는 -- 후에 엔진 작동 없이 실행되지 않습니다.

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

That exits 1. The accepted legacy operations are --capabilities-json, capabilities, and execute; anything else exits 1 with legacy local engine operation ... is not in the public allowlist.

px#

14개의 하위 명령입니다. px analyze는 --runner-carrying 호환성 경로입니다. 위치 인수의 이름은 <INPUTS_RELATIVE_...>인 경우, 작업 디렉터리가 아닌 프로젝트의 inputs/ 디렉터리 아래에서 해결됩니다.

명령	필수	다른 옵션	용도
`px capabilities`	—	—	px 기능 계약 보고
`px fdtd2d capabilities`	—	—	소유자 정의 FDTD2D 기능 계약 인쇄
`px fdtd2d readiness`	—	—	CPU 리스를 취득하지 않고 동적 설치 실행 준비 상태 보고
`px fdtd2d preflight <INPUTS_RELATIVE_JSON>`	`<INPUTS_RELATIVE_JSON>`	`--project`	경계 FDTD2D 요청 검증 및 자격 차단 보고
`px execute`	—	`--project`	패키지된 px 실행 작업 실행
`px static-timing <INPUTS_RELATIVE_JSON>`	`<INPUTS_RELATIVE_JSON>`	`--project`	하나의 프로젝트 입력 파일에서 bounded non-signoff single-clock 정적 타이밍 실행
`px process-recipe <INPUTS_RELATIVE_JSON>`	`<INPUTS_RELATIVE_JSON>`	`--project`	하나의 `px-recipe-1` JSON 파일에 대한 선언 순서 계획을 검증하고 컴파일합니다.
`px spef-summary <INPUTS_RELATIVE_SPEF>`	`<INPUTS_RELATIVE_SPEF>`	`--project`	분석 권한 없이 한 묶인 SPEF 파일에서 수동 추출된 R/C 보고
`px spef-analyze <INPUTS_RELATIVE_SPEF> <INPUTS_RELATIVE_CONFIG_JSON>`	둘 다	`--project`	하나의 발신자 해결 코너에서 제한된 구성 기생 및 IR 드롭 분석 실행
`px readback <RUN_ID>`	`<RUN_ID>`	`--project`	기록 된 실행 한 번 다시 읽기
`px artifact store <RESULT_JSON_OR_DASH>`	`<RESULT_JSON_OR_DASH>`	`--project`	프로젝트 아티팩트 저장소에 결과 영수증 1개 유지
`px artifact list`	—	`--project`	저장된 항목 목록
`px artifact show <ENTRY_ID>`	`<ENTRY_ID>`	`--project`	저장된 항목 한 개 읽기
`px analyze`	—	`--runner` (기본값 `local`), `--project`, `-- <ENGINE_ARG>...`	원래의 raw runner 위임에 대한 호환성 경로

이러한 세 가지 상태는 자신의 도움말 텍스트에 자신의 한계, 그 한계는 계약의 일부입니다: px static-timing 명시 적으로 비 서명입니다, px spef-summary 명시 적으로 분석 권한을 수행하지 않습니다, 그리고 px fdtd2d preflight는 결과보다는 자격 차단을보고합니다. 그에 따라 출력을 처리합니다.

physical run와 마찬가지로 px analyze는 -- 후에 레거시 작업이 필요하며 그렇지 않으면 1를 종료합니다. 허용 목록은 capabilities 및 execute입니다.

isa#

6개의 하위 명령 중 4개는 stdin에서 독점적으로 CX 소스를 읽습니다. isa run는 --runner-carrying 호환성 경로입니다.

명령	필수	다른 옵션	용도
`isa elaborate`	—	—	정교한 CX 소스 stdin에서 읽기
`isa assemble`	`--text <TEXT>`	—	stdin에서 읽은 CX 소스에 대해 하나의 명령을 조립하십시오.
`isa disassemble`	`--bits <BITS>`, `--bit-len <BITS>`	—	stdin에서 읽은 CX 소스에 대해 인코딩 된 단어를 분해하십시오.
`isa cosimulate`	—	—	stdin에서 읽은 소스로 경계 CX 공동 시뮬레이션 프로젝션 실행
`isa assistant verify`	`--check <CHECK>`, `--source <CX_FILE>`	`--project`	CX 파일에서 이름 있는 검사 하나 실행
`isa run`	—	`--runner` (기본값 `local`), `--project`, `-- <ENGINE_ARG>...`	원래 허용 목록의 로컬 CX 작업에 대한 호환성 경로

--check는 elaboration, static-semantics, encoding-uniqueness 및 decode-determinism를 정확히 허용합니다. --bit-len는 서명되지 않은 32비트 정수입니다. --text 및 --bits는 비어 있거나 공백만 있으면 안 됩니다.

physical run 및 px analyze와 달리 isa run는 고정 엔진 작동을 수행하므로 패스스루 인수 없이 실행되며 엔진은 자체 요구 사항을 보고합니다.

$ 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#

데스크톱 호스트 작업. 계산은 위의 엔진 네임스페이스에 남아 있습니다.

명령	필수	용도
`ide open`	`--project <ABSOLUTE_DIR>`	설치된 IDE에서 표준 절대 프로젝트 디렉토리 하나를 엽니다.

ide open는 승진된 아카이브에서 이 네임스페이스의 유일한 하위 명령입니다. ide init는 표준 절대 부모 디렉토리 아래에 프로젝트 스캐폴드를 생성하며, 다음 빌드에서 수정됩니다. - 프로모션된 아카이브 후에 수정된 네임스페이스를 참조하십시오.

--project는 표준 절대 디렉터리여야 합니다. 절대 디렉터리, 기존 디렉터리, 심볼릭 링크가 아닌 고유한 표준 형식이어야 합니다. 심볼릭 링크를 통해 해결되는 경로는 자동으로 따라오기보다는 거부됩니다.

ide open는 엔진 바이너리를 사용하지 않습니다. altifigence-ide라는 이름의 실행 파일을 alti의 형제로 확인한 다음 PATH에서 --project <canonical-dir>로 생성하여 altifigence.ide-launcher-receipt.v1 영수증을 생성합니다.

필드	의미
`schema`	항상 `altifigence.ide-launcher-receipt.v1`
`status`	`spawned`, `unavailable` 또는 `failed`입니다.
`pid`	자식 프로세스 ID 또는 `null`
`binary`	항상 `altifigence-ide`
`project`	표준 프로젝트 디렉터리 또는 표준화 실패 시 요청된 값
`resolution`	`sibling`, `path` 또는 `unresolved`입니다.
`executable`	해결된 경로 또는 맨 이름
`error`	`status`가 `spawned`가 아닌 경우 메시지, 그렇지 않으면 `null`

The exit status is 0 for spawned and 1 otherwise. altifigence-ide ships with SystemVerilog IDE, not with the CLI archive, so ide open reports unavailable from a CLI-only installation.

배포 아카이브 이후 수정된 네임스페이스#

위의 표에서 세 가지는 현재 다운로드를 위해 승격된 아카이브에서 도달할 수 없으며, 이를 따르는 빌드에서 수정됩니다. alti가 Unknown command에 이 중 하나에 대해 답변하면 이전 아카이브에 있습니다. 릴리스 노트에서 빌드에 수정 사항이 있는지 확인하십시오.

eda — eda inspect, eda artifact store, eda artifact list, eda artifact show. The engine alti-eda-artifact-inspect always shipped in the archive; the dispatcher simply did not route the namespace to it, so every subcommand answered Unknown command: eda inspect and exited 2.
reports — reports parse and the same three artifact subcommands, unreachable for the identical reason, with alti-reports shipping unused.
ide init — creating a project scaffold from the CLI. The namespace had only ide open.

evolve는 부분적으로 도달할 수 없습니다. evolve run만 라우팅되고 해당 네임스페이스의 다른 모든 하위 명령이 2를 종료합니다. 정확한 동작은 CLI 명령 표면를 참조하십시오.