本文对EPON系统MII接口的FPGA设计及其数字IC形式验证流程进行了研究。文章首先介绍了形式验证特别是等价性验证技术的基本理论，并详细介绍了等价性验证算法的实现过程。其次根据超大规模集成电路对等价性验证的需求，提出了适合超大规模数字IC的形式验证流程。然后对Formality和QuartusⅡ工具进行了介绍，并在两个工具之间建立了改进的形式验证流程。接着在QuartusⅡ平台上完成EPON(EthemetPassiveOpticalNetwork)系统的MⅡ接口(千兆EPON系统和百兆用户之间)的FPGA(现场可编程门阵列)设计和实现，不仅进行了功能仿真，而且还进行了时序分析。最后在Formality环境中进行MⅡ接口模块的RTL-GATE，GATE-GATE的等价性验证，该验证是在QuartusⅡ软件的综合和布局布线基础上进行的。形式验证与传统验证方法相比大大缩短了验证时间，节约了成本，适合超大规模数字IC设计的验证。