开放代码社区 › 灵验 EpicFV 开源形式验证工具

灵验 EpicFV 开源形式验证工具

开发工具C++

灵验（EpicFV）是全球首款开源形式验证工具，面向芯片设计验证场景。用户输入 RTL 设计与 SystemVerilog 断言描述设计规范后，工具可自动完成语法解析、设计综合与断言解析，并基于分布式计算理论自动调度求解引擎，加速断言验证收敛，降低形式验证的使用门槛，适用于设计早期模块功能验证。

AI/机器学习前端工具部署/运维C++

作者：用户6868语言：C++更新：2026-10-27

仓库地址

https://gitee.com/x-epic/EpicFV.git

前往原仓库

README

![](https://web-code-img.oss-cn-shanghai.aliyuncs.com/readme/513bba5674b3b0c592d39090.png)
---

[(English Documents Available)](https://gitee.com/x-epic/EpicFV/blob/main/readme_en.md)

随着芯片设计行业的高速发展，行业对芯片验证提出了更高的要求。动态仿真，形式验证，原型设计，硬件加速是常见的几大功能验证的手段。

**其中，形式验证有着以下三种优势：**

1. 形式验证是穷尽的，完备的；
2. 形式验证不需要任何复杂测试激励环境的搭建，只需要写约束和测试点即可；
3. 形式验证对设计收敛的效率是传统仿真的倍数级；
4. 形式验证适合于设计人员在早期对于自己的模块进行功能验证。

但是，形式验证需要使用断言（SystemVerilog Assertion），工程师必须熟悉语法，并且对工具内部的引擎有一定熟悉度，这对使用门槛和开发技术的成熟度提出了较高的要求，导致无论是高校还是设计公司，虽然都希望能借形式验证工具来大大加速验证的收敛，却因缺乏经验而止步。

**作为全球首款开源形式验证工具，“灵验”在用户输入RTL设计和SystemVerilog断言描述设计规范的情况下，可以自动进行语法解析、设计综合、断言解析，并且基于分布式计算理论自动调度引擎求解断言，加速验证收敛，从而降低形式验证工具的使用门槛。**

## Overview

- [架构设计](https://gitee.com/x-epic/EpicFV/blob/main/docs/architecture.md)
- [代码目录](https://gitee.com/x-epic/EpicFV/blob/main/docs/code.md)
- [项目部署](https://gitee.com/x-epic/EpicFV/blob/main/docs/deploy.md)


## Features

■ 业界首款开源形式验证工具

■ 分布式计算/并行计算加速验证收敛

■ 自动调度引擎，降低形式验证工具使用门槛

■ 在易用性、实用性、稳定性上提供专业技术支持

## Support

- [使用说明](https://gitee.com/x-epic/EpicFV/blob/main/docs/EPIC_FV使用手册.pdf)
- [论坛](http://edagit.com/)