所谓形式验证，是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。形式验证方法分为等价性验证、模型检验和定理证明等。
...规约,即用具有精确语义的形式语言书写的程序功能描述,是验证程序是否正确的依据;另一个研究内容是形式验证(Formal Verification),即验证已有的程序是否满足其规约的要求,它是形式化方法所要解决的核心问题。
基于3048个网页-相关网页
之后我们把综合好的netlist进行了时序分析（PrimeTime）和形式验证（Formality），均通过了检查之后，采用synopsys的Jupiter+Astro工具进行布局布线。
基于44个网页-相关网页
半形式验证 semi-formal verification
程序的形式验证 Formal Verification of Programs
声明的形式验证 Assertion-Based Verification ; ABV
基于声明的形式验证 Assertion-Based Verification ; ABV
形式化验证 formal verification ; formal authentication
形式程序验证 formal program verification
形式化方法与验证 Formal Methods and Verification
学习形式化验证的历史 Formal verification of learning history
The research results of formal verification technology at home and abroad are investigated in this paper,the principal methods are analyzed and compared,and some problems worth researching are pointed out.
研究了国内外形式验证技术的研究成果,对主要方法进行了分析和比较并对新的热点进行了展望。
参考来源 - 数字系统的形式化验证方法To be complementarity of system level verification, we use Synopsys's Formality to do equivalent check in all phases of the whole design flow. The check can mostly improve the verification efficiency and ensure the project's dependability.
作为系统验证的补充，在GPS基带芯片设计的各个阶段我们使用Synopsys公司形式验证工具Formality进行等效性检查，从而大大提高了验证效率，保障项目的可靠性。
参考来源 - GPS基带芯片的系统级功能验证·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐