轨道交通设备中FPGA芯片等效性验证方法.pdfVIP

轨道交通设备中FPGA芯片等效性验证方法.pdf

轨道交通设备中FPGA芯片等效性验证方法

陈光郑桂燕刘伟超

(北京全路通信信号研究设计院集团有限公司，北京10007~)

摘要：FPGA芯片综合及布局布线后的功能验证对于保证设计可靠性有重要意义，目前常用的后仿真

验证方法存在两个问题，一个是复杂度大时间较长，另一个是异常状态的测试覆盖率不足。提出利

用等效性检查进行功能验证的方法，并给出主流厂商芯片的验证流程及异常处理措施。与后仿真的

验证方法相比，本方法验证工作量更低，测试覆盖率高，对提高设计可靠性有重要作用。

关键词：等效性检查；FPGA验证；Formality软件；ConformalLEC软件

Abstract：VerificationoftheFPGAnetlistgeneratedbySynthesisorPlaceRoutehasgreatimportance

forensuringthedesignreliability．Thepost-synthesissimulationmethodwidelyusednOWhastwomajor

problems．Oneisthecomplexitywithalongprocess，theotheristhetestcoveragedeficiency．Thepaper

putsforwardaverificationmethodusingequivalencecheckingandpresentstheverificationprocessof

FPGAsfrommajoritymanufacturersandthefalsetreatmentsolutions．Comparingwithpost—synthesis

simulationmethod，theequivalencecheckingmethodhaslowercostandhighertestcoverageandwould

benefitgreatlythedesignreliabiliyt．

Keywords：equivalencechecking；FPGAverification；Formality；ConfomralLEC

DoI：l0．3969j／．issn．1673—4440．2016．01．019

能的正确性可由前仿真验证。但综合级结构描述

1概述

的同时，为了提高时序或减少资源消耗J，综合器

随着我国轨道交通的发展，越来越多的集成会采取例如组合逻辑削减、状态机重编码、寄存器

电路芯片被应用于轨道交通设备中，其中现场可合并或复制等的优化算法，导致最终产生的网表结

编程门阵列(FieldProgrammabelGateArray，构与原始描述并非一一对应，因此代码前仿真功能

FPGA)芯片由于其具有可编程、高集成度、高速正确不代表综合后及布局布线后的网表功能完全正

和高可靠性等优点…，逐渐由外围器件演变为数字确，验证工作除应对代码进行仿真测试外，还应包

逻辑系统的核心，承担起关键作用。为保证设备的括对网表的检查。

可靠运行，FPGA的逻辑功能验证工作尤为重要。

2综合后网表功能验证方法分析

在FPGA开发流程中，寄存器传输级

(RegisterTransferLevel，RTL)行为描述逻辑功FPGA综合后网表功能验证目前通常利用仿真

木木木木术木：l：枣木：}：术木木术水木冰：Ic：l：水木木半木水乖水冲：术半木冲：术木水术木水术半水木水冲：术木木

(5]杜成．城市轨道交通cBTc系统2．4GHz无线传输技术的[6】蒋海林，步兵，郜春海，等．基于位置的cBTC系统无线