# {{DUT}} 形式化验证需求分析与规划

<!--
请基于对 {{DUT}} 的项目源码和背景的宏观理解，撰写本项目的形式化验证需求分析与计划。
文档需要包含：
1. 项目概述
2. 设计规格分析（参数与接口列表）
3. 复杂度评估（状态空间、算术复杂度、存储结构、参数化程度等）
4. 验证范围与目标（需要/不需要通过 formal 证明的部分）
5. 验证约束与假设条件
6. 验证策略与断言/覆盖点设计草稿
7. 风险评估与应对方案
-->

## 1. 项目概述

<!-- 填写项目名称、待测模块、验证工具和方法 -->

## 2. 设计规格分析

<!-- 填写参数、接口列表及基础功能描述 -->

## 3. 设计复杂度评估

<!-- 分维度评估设计的复杂度，判断是否需要黑盒抽象、边界限制等高级技术 -->

## 4. 形式化验证范围与目标

<!-- 必须包含什么要验、什么不要验，以及预期可能发现的问题 ->

## 5. 假设条件与约束

<!-- 填写输入约束与环境假设 -->

## 6. 验证策略

<!-- 填写将采用的验证方法、断言设计思路和覆盖点设计思路 -->

## 7. 预期交付成果

<!-- 填写本项目的验证产出物列表 -->

## 8. 风险评估与应对

<!-- 填写可能遇到的挑战和规避方法 -->

## 9. 初步缺陷发现

<!-- 在第一眼看代码时，如果你已经发现了任何手误、明显的 RTL BUG 嫌疑点，列在这里 -->
