저장된 SDC 아티팩트 검사하기

이 로컬 워크플로에는 Linux에서 Altifigence CLI 0.1.9를 사용하세요.

종료 상태가 0인지 확인한 뒤 저장된 결과를 읽으세요. 표준 오류를 별도로 보관하고 아래에 설명한 결과 필드를 확인하세요.

작은 리터럴 제약 조건 파일 저장하기

기존 프로젝트 디렉터리를 사용하고 그 안에 constraints.sdc를 저장하세요. 아래 리터럴 기본 클록 구문으로 시작하세요. 검사 명령은 저장된 파일을 읽고 지원되는 파서 결과를 반환해요. 정규화된 절대 프로젝트 경로와 해당 프로젝트를 기준으로 한 상대 입력 경로를 사용하세요. 예제의 /absolute/project를 실제 프로젝트 디렉터리로 바꾸세요.

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

저장된 파일 검사하기

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

sdc-receipt.json을 읽고 schema가 eda.artifact-inspect.result.v1인지 확인하세요. 이 문서는 다이제스트와 길이로 입력 바이트를 식별하고, 파서 출처를 기록하며, 파싱된 제약 조건이 담긴 normalized_summary를 포함해요. 검사한 내용을 기록할 때 요약과 함께 diagnostics와 authority도 확인하세요. 결과는 선택한 파일에 대한 읽기 전용 검사 기록이에요.

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

이 출력 블록은 선택한 식별 필드를 보여 줘요. input, parser, normalized_summary, diagnostics, authority를 포함한 전체 문서를 보관하세요. 이 필드들은 해석 결과를 검사에 사용된 정확한 저장 바이트 및 파서 버전에 연결해요. constraints.sdc를 편집한 뒤 다시 검사하면 업데이트된 파일에 대한 근거가 생성돼요.

없는 입력 경로 수정하기

명령에서 missing.sdc를 저장된 constraints.sdc 대신 지정하면 input_path_invalid 진단은 cannot open input file:로 시작하며 운영 체제의 파일 없음 이유를 포함해요. 기존 프로젝트 디렉터리는 유지하고 상대 입력 인수를 constraints.sdc로 바꾼 다음, 아래 검사를 다시 실행하세요.

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