Wca的个人空间 https://blog.eetop.cn/?1651204 [收藏] [复制] [分享] [RSS]

日志

Formal Tips

已有 77 次阅读| 2025-10-21 09:48 |个人分类:前端设计------工具类|系统分类:芯片设计| formal, JasperGold

# -------- 基础概念 ----------

1. 芯片验证主要分为三个方法:(1)动态仿真:模拟仿真验证(UVM/VIP等)(2)静态仿真:形式化验证 (3)FPGA硬件加速

2. 形式化验证是一种验证方法,而实际应用方向主要有两方面:(1)功能模块的等价性检查(SEC - Sequential Equivalence Checking)(2)RTL设计的属性验证(FPV - Formal Property Verifycation)

3. 形式化验证的定义:形式化验证是基于严格的数学算法和模型,根据设计功能提取电路规则的属性描述,并穷举系统运行过程中电路所能达到的所有状态,自动进行数学分析和证明。

4. 目前常用的形式化验证工具有:(1)Cadence的JasperGold (2)Synposys的VC-Formal (3)Mentor的Questa FV

5. 形式化验证使用的是SVA(Systemverilog Assertion)语言,属于SV的一部分。

6. property常用前缀 "P_", assume常用前缀 " ASM_", assert常用前缀 " AST_ ", cover常用前缀 "COV_"


# -------- 设计流程与脚本 ---------



......待续


点赞

全部作者的其他最新日志

评论 (0 个评论)

facelist

您需要登录后才可以评论 登录 | 注册

Wca

  • 0

    周排名
  • 0

    月排名
  • 0

    总排名
  • 0

    关注
  • 1

    粉丝
  • 0

    好友
  • 0

    获赞
  • 0

    评论
  • 1

    访问数
关闭

站长推荐 上一条 /2 下一条


手机版| 小黑屋| 关于我们| 联系我们| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 ) |网站地图

GMT+8, 2025-10-22 16:24 , Processed in 0.033332 second(s), 15 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
返回顶部