形式验证
- 网络formal verification; MENTOR,FormalPro; Formality
形式验证形式验证
formal verification
形式验证（Formal Verification）是一种IC设计的验证方法，它的主要思想是通过使用形式证明的方式来验证一个设计的功能是 …
MENTOR,FormalPro
... 延时计算与静态时序分析 a. SYNOPSYS,Prime Time 形式验证 a. MENTOR,FormalPro 功能优化与分析 a. SYNOPSYS,Pow…
Formality
静态时序分析(PrimeTime)&形式验证(Formality)详解介绍静态时序分析(PrimeTime)&形式验证(Formality)的概念和分析方法介绍 …
edacn
形式验证(edacn) 2009-12-28 10:53 技术 DDR2还引入了三项新的技术，它们是OCD、ODT和Post CAS IC layout布局经验总结f…
TBFV
王彬, 林争辉. 基于事务形式验证(TBFV)及8051的TBFV模型[J]. 上海交通大学学报, 2003, 37 (10): 15741577. [3] Girard P, Landr…
model-checking
熟悉基于形式化方法的系统设计: 形式验证 (model-checking) 与离散控制器综合技术 (DCS)有软件开发及硬件设计,嵌入式系统 …
1
2
3
4
6
7