JasperGold 形式验证
体系化学习资料
基于 Cadence JasperGold v2020.03 官方文档整合，从零基础入门到进阶调优，图文并茂，含示例工程。
📚 学习路线图
按照从基础到进阶的顺序，共分为六篇。建议初学者按顺序学习第一篇和第二篇，后续各篇可根据项目需求选择性阅读。
第二篇
核心 FPV 形式属性验证
掌握 FPV App 的核心流程：环境搭建、SVA 断言、约束、证明分析。
第三篇
专项验证 App
七大专项验证应用：CDC、X-Prop、Connectivity、SEC、LPV、SPV、FSV。
第四篇
效率与自动化 App
提升验证效率的自动化工具：Superlint、BPS、CSR、ARCH、COV/UNR、HAL。
第五篇
进阶与调优
引擎选择、专家系统、Proof Accelerator、分布式证明、Tcl 脚本编程。
第六篇
平台调试与集成
Visualize、各 Viewer、Design Exploration、vManager 集成。
📖 附录
- 附录 A：术语表 — JasperGold 常用术语中英文对照
- 附录 B：Tcl 命令速查 — 按 App 分类的常用命令参考
- 附录 C：示例工程索引 — 官方示例工程目录与说明
- 附录 D：Proof Accelerator 选型指南 — 根据需求选择预构建证明加速器
📂 包含的文档
本学习资料基于以下官方文档整合而成：
| 类别 | 文档 |
|---|---|
| 平台与 FPV | jaspergold_apps_userguide.pdf |
| 命令参考 | jaspergold_command_reference.pdf |
| CDC/RDC | jaspergold_cdc_userguide.pdf、jaspergold_cdc_reference.pdf |
| X-Prop | jaspergold_xprop_userguide.pdf |
| Connectivity / IP-XACT | jaspergold_conn_userguide.pdf、jaspergold_ipxact_reference.pdf |
| SEC / LPV / SPV / FSV | jaspergold_sec_userguide.pdf、jaspergold_lpv_userguide.pdf、SPV_user_guide.pdf、jaspergold_fsv_userguide.pdf |
| Superlint | jaspergold_superlint_userguide.pdf、jaspergold_superlint_reference.pdf |
| BPS / CSR / ARCH | BPS_user_guide.pdf、jaspergold_csr_userguide.pdf、jaspergold_arch_userguide.pdf |
| 覆盖率 / UNR | jaspergold_cov_userguide.pdf、jaspergold_unr_userguide.pdf |
| HAL | hal_userguide.pdf、hal_reference.pdf |
| 进阶 | jaspergold_engine_selection.pdf、jaspergold_expert_system.pdf、jaspergold_proofgrid_manager.pdf |
| 调试/集成 | jaspergold_visualize_gui.pdf、jaspergold_vmanager_userguide.pdf |
| 脚本/安装/术语 | AN_scripting.pdf、INSTALL.pdf、glossary.pdf |
| Proof Accelerators | 22 个 PA PDF（Cache/FIFO/Memory/Scoreboard/Datapath/算术模型等） |