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 的响应是一致的

Formality学习笔记一：基本概念相关推荐

Docker:学习笔记(1)——基础概念
Docker:学习笔记(1)--基础概念 Docker是什么软件开发后,我们需要在测试电脑.客户电脑.服务器安装运行,用户计算机的环境各不相同,所以需要进行各自的环境配置,耗时耗力.为了解决这个问题 ...
HTML/CSS学习笔记01【概念介绍、基本标签】
w3cschool菜鸟教程.CHM(腾讯微云):https://share.weiyun.com/c1FaX6ZD HTML/CSS学习笔记01[概念介绍.基本标签.表单标签][day01] HTML ...
网络流算法学习笔记——最大流问题基本概念和Ford-Fulkerson方法（标号法C++实现）
屈婉玲<算法设计与分析>第2版第7章网络流算法学习笔记. 基本概念最大流问题,相当于有从s到t的供水系统,每段路径都有限定流量,除了s.t两地外,每个中间点都不能滞留,从s流入多少,就从 ...
利用计算机技术实现对文本篇章,自然语言处理NLP学习笔记一：概念与模型初探...
前言先来看一些demo,来一些直观的了解. 自然语言处理: 可以做中文分词,词性分析,文本摘要等,为后面的知识图谱做准备. 知识图谱: 还有2个实际应用的例子,加深对NLP的理解九歌机器人: 微软 ...
TCP/IP详解学习笔记(1)-基本概念
为什么会有TCP/IP协议在世界上各地,各种各样的电脑运行着各自不同的操作系统为大家服务,这些电脑在表达同一种信息的时候所使用的方法是千差万别.就好像圣经中上帝打乱了各地人的口音,让他们无法合作一样 ...
冰冰学习笔记：进程概念
欢迎各位大佬光临本文章!!! 还请各位大佬提出宝贵的意见,如发现文章错误请联系冰冰,冰冰一定会虚心接受,及时改正. 本系列文章为冰冰学习编程的学习笔记,如果对您也有帮助,还请各位大佬.帅哥.美女点点支 ...
认知无线电学习笔记1 物理层概念
认知无线电学习笔记1 认知无线电物理层基础 Physical architecture of the cognitive radio PHY LAYER: 频谱感知(侦听) 接入技术 Radio fr ...
（1）《Head First HTML与CSS》学习笔记---HTML基本概念
前言: 1. 这本书并没有面面俱到,涵盖所有内容,只提供作为初学者真正需要的东西:基本知识和信心.所以这不是唯一的参考书.(我买了一本<HTML5权威指南>作为参考书和这本一起看, ...
遗传算法(Genetic Algorithm)之deap学习笔记(一): 基础概念
遗传算法是通过计算机模拟生物学中的染色体用于解决最优化的一种搜索算法. 使用遗传算法要考虑的因素: 个体表征(Individual representation) 评估和适应度分配(Evaluatio ...

Formality学习笔记一：基本概念