自定义博客皮肤VIP专享

*博客头图：

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览 取消 提交

自定义博客皮肤

-+
上一步保存

djh85972387的博客

  • 博客(2)
  • 收藏
  • 关注
排序：
按最后发布时间
按访问量
RSS订阅

原创 Formal Verification FPV

FPV（Formal Property Verification）是通过断言来check。这里的checker 主要是由assume,assert，cover组成。assume 用来对DUT的输入进行约束，assert 用来对DUT与reference的输出进行check。cover 用来描述自己特别关心的一些场景。FPV 用各种强大的VC引擎证明每个property。如果证明property失败，VC会提供一个反例的波形来让用户分析。

2023-12-14 16:20:00 1178 1

原创 Formal connectivity Application

CC这个工具可以用来检查两种连接性，一种是带延迟的，一种是不带延迟的。

2023-12-09 16:46:49 1007 2

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章？
取消 删除