Formality学习笔记一:基本概念

Design

Refernce design : golden design, 一般作为验证的标准

Implementation design: 修改后的设计,想要验证和原始版本是否一致

Logic Cones

Logic Cones: 由一组组合逻辑电路构成的电路模块
逻辑锥原理图

常见的比较点:primary outputs、internal registers、black box input pins、nets driven by multiple drivers where at least one driver is a port or black box.

Guidence

Guidance:帮助等价验证工具理解,在设计 FloW 中因为其他工具处理造成的设计修改。在Formality中,Guidence帮助工具如下:

  • 协助比较点matching
  • 无用户设置情况下配置验证
  • 更好的理解算术转换电路

Black-Box

Black-Box: 实例化设计,但功能未知,通常属于没有综合的器件。常见BBox如: RAMs, ROMS, 模拟电路, hard IP blocks

当BBox在设计中被使用,确保reference design 和 implementation design 一对一映射,否则工具会报错。

Constraint

外部约束可以减少验证时间,并消除因为冗余的设计对象造成的时间浪费

Match

Formality 将 implementation design 中存在的比较点和 reference design 中的设计对象进行对应.

Compare Points

比较点:一般位于组合逻辑电路的末端,常见的比较点有:an output port, register, latch, black box input pin, or net driven by multiple drivers.

基于名称与不基于名称的匹配

来自implementation design 和 reference design 的不匹配点都会造成验证失败

用户设定匹配点

如果Formality 的确无法匹配比较点,可以通过手动设置进行匹配

Verify

Formality会检查设计一致性, 检查通常分两种

Design Consistency

reference design 对输入做出响应,implementation design 应该也做出一样的响应

Design Equality

对于相同的输入,reference design 和 implementation design 的响应是一致的

  • 0
    点赞
  • 21
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值