24 篇文档带有标签「VC Formal」

1. AEP 的角色与应用价值

1. 两类复用方式

1. 这项应用解决的问题

1. 解决的问题与 SEQ 的区别

1. FCA 与 FPV 的区别

1. 核心问题

1. 定位、能力与不适用范围

1. 典型目标和输入资料

1. 目标：检查本不应出现的信息传播

1. FTA 解决的不是 RTL 正确性，而是属性环境的质量

1. 场景与关键概念

1. 为什么未知值传播值得单独验证

1. 为什么不能只比较组合逻辑

1. SVA 解决什么问题

1. 怎样阅读命令语法

本手册从形式验证原理讲起，依次介绍 VC Formal 环境、SVA、通用命令和各类专用应用。软件文档基线为 X-2025.06-SP1。较短的条目在汇总表里比较，使用条件和原理放在表后展开；包含竖线的语法放在代码块中，完整的案例源码直接放在各篇正文里。

本文件汇集了各章节的 200 个命令及其应用用法条目，按用途组织，便于全文检索。语法部分保留原命令和参数名称，中文解释说明其作用、选项、执行条件和结果；完整的工程源码保留在应用教程正文中。这里的用法不是经过授权工具实际执行的结果。

1. 平台定位与基本结构

1. 查询对象不是修改 RTL

1. 为什么形式验证会困难

1. 为什么需要形式验证

1. 术语表

1. 为什么不能只报告“全部属性通过”

本手册从形式验证原理讲起，依次介绍 VC Formal 环境、SVA、通用命令和各类专用应用。