第五章Expert System 专家系统

概述

JasperGold Expert System 是一个基于知识库（Knowledgebase）的智能辅助系统，分析设计和证明状态，提供优化建议。

启用/禁用 Knowledgebase

# 启用 Expert System
set_expert_system -enable

# 禁用特定规则
set_expert_system -disable_rule <rule_name>

# 列出所有规则
report_expert_system_rules

Expert System User Profile

根据用户经验级别配置建议的详细程度：

# 设置用户级别
set_expert_system -user_level {beginner|intermediate|expert}

Information System 安装配置

系统要求

Information System 需要：

• Java Runtime Environment
• 网络连接（用于访问云端知识库）
• 有效的 Cadence Support 账号

安装包

Information System 安装包含知识库更新、规则数据库和最佳实践文档。

Expert System 提供的建议类型

• 约束建议：检测到可能的过约束或缺少约束
• 抽象建议：建议可以黑盒化或抽象的模块
• 引擎建议：根据属性特征推荐引擎模式
• 复杂度建议：识别导致状态空间爆炸的逻辑
• 黑盒建议：建议黑盒化不相关的第三方 IP

Appendix A: Custom Rule Implementation

Expert System 支持自定义规则，用户可以编写自己的检查规则。

Appendix B: Web Client Report Attributes

Expert System 可以生成 Web 格式的报告，包含各种属性和统计信息。

Expert System 界面

正确认识 Expert System

Expert System 不是"黑盒魔法"，而是积累了大量形式验证工程师经验的知识库系统。它分析你的设计特征和证明结果，从知识库中匹配相似案例给出建议。

它能帮你做什么

• 引擎推荐：根据属性类型（安全/活性/数据通路/控制逻辑）推荐引擎组合
• 约束建议：检测到约束冲突或缺失时给出提醒
• 复杂度优化：分析证明瓶颈，建议黑盒/抽象/cutpoint
• 调试指导：对 failing 属性建议调试步骤

Web Client Report 怎么读

Expert System 的 Web Client Report 是一个 HTML 报告，主要包含：

• Dashboard：总体证明状态摘要（proven/failed/remaining 比例）
• Recommendations：按优先级排列的建议列表，每条含建议内容、原因和操作步骤
• History：多次运行的趋势对比