1 篇文档带有标签「手册合订本」

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