Digital Design Studio 中的 ISA 工作流

Digital Design Studio 2.0.2: Digital Design Studio 中的 ISA 工作流。使用前请确认所选主机、账户权限和当前支持范围。

在 Digital Design Studio 的 Flow Navigator 中打开 ISA 设计。2.0.2 源代码支持 RISC-V 导入以及 RV64、IM 与 A 配置文件。在保存生成的产物之前,请先审核选定的配置文件与诊断。详细阐述、汇编、运行、协同仿真、形式验证检查与模型加载仍取决于实际主机所公开的操作;导入支持并不会在 Windows 或 Cloud 上启用每一项 ISA 操作。

Overview

ISA 设计是 Digital Design Studio 的一部分,不是独立应用。在用于 RTL 编辑和分析的同一项目工作区中,打开 ISA 设计,位于 Flow Navigator 中。

打开 ISA 工作流

  1. 打开 Digital Design Studio 并选择目标项目。

  2. 展开 ISA 设计,位于 Flow Navigator。

  3. 选择创作、指令、RTL 生成、执行、性能或验证。

  4. 打开所需功能。其编辑器标签页使用功能名称,而不是重复通用的 ISA 标题。

  5. 创建或选择项目的架构源码后,才可期待大纲、指令表或编码结果。

不要将空项目理解为包含内置架构。可见功能只是导航入口,不证明其引擎已启用。

左侧面板中的功能

阶段

功能

建模

大纲、指令、架构状态、编码、操作码映射、汇编器/反汇编器、流水线、配置及变更比较

生成

RTL、指令集仿真器、编译器相关输出及导出

探索

设计空间变体

执行

程序执行及通往共享事件轨迹的快捷入口

分析

结构概况及 PPA 估算

验证

协同仿真、验证、形式化检查及签核审核

工作区工具

模型库及参考材料

使用搜索框缩小列表范围。“全部展开”和“全部折叠”作用于阶段组。选择条目会打开该功能,不会提交作业。

源码与项目设置

ISA 源码、项目设置、生成输出及验证证据属于所选 Digital Design Studio 工作区。展开或导出前,请保存有意进行的源码更改。宿主提供源码操作时,ISA 面板提供保存、展开及 ISA 专用项目设置。

2.0.2 中无法加载 Library 模型;Library 仅插入 CX 代码片段。请保留未保存的工作,并在接受替换之前审核模型。模板是明确的起点,而非当前项目的结果。

检查指令与编码

保存活动 CX 源代码后,打开 Instructions。针对用户定义的组使用 Declared categories,或针对结构组使用 Encoding width / format。参照该确切源代码的详细阐述来阅读该表格。

将源码修订、所选目标、引擎版本、输入示例及返回工件一并保存。填充的表格本身不是验证证据,估算也不是实测实现结果。

事件轨迹与分析共享

在 分析 下只有一个事件轨迹查看器。ISA 事件轨迹入口是指向该共享查看器及相关运行的快捷入口,不是第二条时间线。不存在兼容的运行工件时,无法显示实测轨迹。

可用性与迁移

ISA 使用 Digital Design Studio 的应用框架、设置、标签页及底部面板。集成工作流无需安装独立的 ISA 应用,也没有独立的主编辑器 AI 聊天视图。

使用 Add category 与 Add subcategory 来组织声明。New instruction 与 Duplicate instruction 会创建草稿;在 Apply to CX 之前请审核名称、汇编助记符与编码。修改过的源代码或只读文档可能会禁用 Apply。

旧独立 ISA 安装及其应用数据属于旧版内容。迁移前,请将已有 CX 源码保留为用户控制的文件。请勿向新工作区复制凭据、设备许可证或隐藏的设备信任状态。参阅 本地工作区 和 首次启动与账户访问。

相关指南

从模型到经过检查的输出

使用 Verify model 请求对当前缓冲区进行详细阐述。按照显示内容读取待处理、不可用以及失败的检查;整个模型的检查并不构成对每个指令行单独的证明。

  1. 保存架构源代码并选择预期的 ISA 配置。

  2. 在阅读指令与编码视图之前,请先解决解析/详细阐述诊断。

  3. 仅生成当前主机支持的输出。将生成的产物与源代码分开保存。

  4. 使用已知的指令与预期的编码来验证汇编器/反汇编器的行为。

  5. 随源代码修订版本保留运行与验证结果;通过共享的 Analysis Event Trace 打开兼容的事件。

Windows 应用程序随附的 alti CLI 用于项目初始化。alti isa … CLI ISA commands 需要 CX 引擎(alti-cx),而 Windows 应用程序并不包含此引擎。输出格式与功能属于已安装的 CLI 版本。

Using Digital Design Studio 2.0.2

解码器导出需要当前的详细阐述及其静态检查。审核选定的语言与原始字段映射,然后单独保留导出的文件。编辑源代码会使先前的导出失效;这并非运行等效性的证明。

2.0.2 环境支持