Digital Design Studio의 ISA 워크플로

Digital Design Studio 2.0.2 Digital Design Studio의 ISA 워크플로. 사용 전에 선택한 호스트·계정 권한·현재 지원 범위를 확인하세요.

Digital Design Studio의 Flow Navigator에서 ISA design을 여세요. 2.0.2 소스는 RISC-V 가져오기와 RV64·IM·A 프로필을 지원합니다. 선택한 프로필과 진단을 확인한 뒤 생성 아티팩트를 저장하세요. 엘라보레이트·어셈블·실행·코시뮬레이션·정형 검증·모델 불러오기는 실제 호스트가 제공하는 작업에 따릅니다. 가져오기 지원만으로 Windows·Cloud의 모든 ISA 작업이 켜지지는 않습니다.

개요

ISA 설계는 별도 앱이 아니라 Digital Design Studio의 기능입니다. RTL 편집·분석에 사용하는 같은 프로젝트에서 Flow Navigator → ISA design를 여세요.

ISA 워크플로 열기

  1. Digital Design Studio를 열고 작업할 프로젝트를 선택합니다.

  2. Flow Navigator에서 ISA 설계를 펼치세요.

  3. 작성, 명령어, RTL 생성, 실행, 성능 또는 검증 기능을 선택하세요.

  4. 필요한 기능을 엽니다. 편집기 탭에는 반복된 ISA 제목 대신 기능 이름이 표시됩니다.

  5. 개요, 명령어 표, 인코딩 결과를 확인하기 전에 프로젝트의 아키텍처 소스를 만들거나 선택합니다.

빈 프로젝트에 내장 아키텍처가 들어 있다고 해석하면 안 됩니다. 표시된 기능은 탐색 항목이며 해당 엔진의 활성화를 증명하지 않습니다.

왼쪽 패널의 기능

단계

기능

모델

개요, 명령어, 아키텍처 상태, 인코딩, opcode 맵, 어셈블러·디스어셈블러, 파이프라인, 구성, 변경 비교

생성

RTL, 명령어 집합 시뮬레이터, 컴파일러 관련 출력 및 내보내기

탐색

설계 공간의 변형

실행

프로그램 실행 및 공용 Event Trace 바로가기

분석

구조 프로파일과 PPA 추정

검증

Co-simulation, 검증, 형식 검사, signoff 검토

워크스페이스 도구

모델 라이브러리와 참조 자료

검색창으로 목록을 좁힙니다. 전체 펼치기·접기는 단계 그룹에 적용됩니다. 항목을 선택하면 기능을 열 뿐 작업을 제출하지 않습니다.

소스와 프로젝트 설정

ISA 소스, 프로젝트 설정, 생성 출력, 검증 증빙은 선택한 Digital Design Studio 워크스페이스에 속합니다. 엘라보레이트 또는 내보내기 전에 소스 변경을 저장합니다. 호스트가 소스 작업을 제공하면 ISA 패널에서 Save ISA source와 Elaborate를 사용하고 제공되는 프로젝트 설정을 확인합니다.

2.0.2에서는 라이브러리 모델을 불러올 수 없고 CX 스니펫 삽입만 됩니다. 저장하지 않은 작업을 보존하고 모델을 검토한 뒤 교체를 승인합니다. 템플릿은 사용자가 선택한 시작점이며 현재 프로젝트의 실행 결과가 아닙니다.

명령어와 인코딩 검토

활성 CX 소스를 저장하고 Instructions를 엽니다. Declared categories는 직접 지정한 소속, Encoding width / format은 구조별 그룹입니다. 해당 소스의 elaboration 결과와 표를 함께 읽습니다.

소스 리비전, 선택한 대상, 엔진 버전, 입력 예제, 반환 아티팩트를 함께 보관합니다. 채워진 표 자체가 검증 증거는 아니며 추정값은 구현 실측 결과가 아닙니다.

분석과 공유하는 Event Trace

분석 아래에 Event Trace 뷰 하나를 둡니다. ISA의 Event Trace 항목은 공용 뷰와 해당 실행으로 가는 바로가기이며 두 번째 타임라인이 아닙니다. 호환되는 실행 아티팩트가 없으면 측정 트레이스를 표시할 수 없습니다.

제공 범위와 이전

ISA는 Digital Design Studio의 셸, 설정, 탭, 하단 패널을 사용합니다. 통합 워크플로용 별도 ISA 설치 앱이나 메인 편집기의 독립 AI 채팅 뷰는 없습니다.

Add category와 Add subcategory로 선언을 묶습니다. New instruction과 Duplicate instruction은 초안을 만듭니다. Apply to CX 전에 이름·어셈블리 mnemonic·인코딩을 검토합니다. 소스가 바뀌거나 문서가 읽기 전용이면 Apply가 비활성화될 수 있습니다.

이전 독립 ISA 설치와 앱 데이터는 과거 데이터입니다. 이전하기 전에 기존 CX 소스를 사용자 소유 파일로 보존합니다. 자격 증명, 장치 라이선스, 숨겨진 장치 신뢰 상태를 새 워크스페이스로 복사하지 마세요. 로컬 워크스페이스와 첫 실행과 계정 이용을 확인합니다.

관련 가이드

모델에서 검토한 출력까지

Verify model로 현재 버퍼의 elaboration을 요청합니다. 대기·미지원·실패를 표시된 상태 그대로 읽습니다. 모델 전체 검사가 각 명령 행의 독립된 증명은 아닙니다.

  1. 아키텍처 소스를 저장하고 사용할 ISA 설정을 선택합니다.

  2. 파싱·엘라보레이트 진단을 해결한 뒤 명령어·인코딩 화면을 확인합니다.

  3. 현재 환경이 지원하는 출력만 생성하고 생성 파일을 소스와 구분해 보관합니다.

  4. 알려진 명령어와 예상 인코딩으로 어셈블러·디스어셈블러 동작을 확인합니다.

  5. 실행·검증 결과를 소스 버전과 함께 보관하고 호환 이벤트는 공통 Analysis Event Trace에서 엽니다.

Windows 앱에 포함된 alti는 프로젝트 초기화용입니다. alti isa … CLI ISA 명령에는 Windows 앱에 없는 CX 엔진(alti-cx)이 필요합니다. 출력 형식과 가용 기능은 설치된 CLI 버전을 기준으로 합니다.

Digital Design Studio 2.0.2 사용 안내

Decoder export는 현재 elaboration과 정적 검사 통과가 필요합니다. 선택한 언어·raw field 매핑을 확인하고 내보낸 파일을 별도로 보관합니다. 소스 편집은 이전 출력을 무효화하며 출력만으로 실행 동등성이 증명되지는 않습니다.

2.0.2 환경별 지원