第六章Executable Specification

概述

Executable Specification GUI 可以与任何 JasperGold App 配合使用，用于：

• 以可执行文档描述设计特性和行为
• 创建报告增强设计理解
• 研究 RTL 变更对行为和结构的影响

它将文档和形式验证结合起来，使设计规格本身成为可执行的验证资产。

GUI 构成与用法

两组向导按钮

Executable Specification 的工具栏包含通用向导和 Executable Specification 专用向导，分成两组：

• Behavioral Indexing（行为索引）：用这组按钮迭代地提取、索引设计行为并存入数据库，计算行为或结构方面的信息，并生成报告。
• Executable Documentation（可执行文档）：用这组按钮添加 element、在层次中导航、批量修改 element 属性，以及配置用户自定义属性。

此外还有 Application menu，用于控制显示哪些 element 以及创建 element；创建出来的 element 用来记录设计功能，并在 GUI 的导航 pane 中按层次组织。

为什么说它"可执行"

关键在于这些描述不是写完就躺在文档里：你为设计写下的描述会传播到其他 GUI，当你把光标悬停在某个名字上时，会以 tooltip 的形式显示出来。也就是说，设计文档直接长在了调试界面里，而不是另开一个文件。

你还可以自定义文档，添加属性来记录设计特有的细节。