首页 > 其他分享 >(FM)Formality 基础知识简介-SVF

(FM)Formality 基础知识简介-SVF

时间:2024-06-07 19:28:47浏览次数:18  
标签:文件 Formality 验证 SVF DC guide FM

        在Formality中,SVF(Setup Verification for Formality)文件扮演着重要的角色,能够帮工具理解和处理由于其他工具的使用而引入的设计变更。Formality是一个形式验证工具,用于完成表面逻辑的验证,确保在导入RTL代码和DC综合后的门级网表前后逻辑的一致性。而SVF文件,是DC综合过程中产生的文件,用于记录DC对网表产生的一些变化,防止后续的RTL和门级网表对应不上的问题。
    当EDA工具(如DC、FC)对设计进行综合时,它会记录操作信息,包括基本环境信息、寄存器复制、寄存器相位反转、ungroup和边界优化等操作。这些信息会被记录到.svf格式的文件中,并随后提供给Formality。Formality处理这类文件的过程就被称为“guidance”。

    在SVF文件读取结束时生成如下表(可以通过 report_guidance -summary报出):

09e81550f39a41b7b24b79cd7b7854d7.png

 

•Accepted-Formality验证将guide命令应用于参考设计。

•Rejected-Formality无法验证或无法将guide命令应用于参考设计。

•Unsupported- Formality目前不支持guide命令。

•Unprocessed -Formality尚未处理guide命令。这通常发生在检查点验证暂停处理时。

    无论读入多少个SVF文件,Formality都会创建一个单独的解密后的SVF文件(svf.txt),该文件代表了按

标签:文件,Formality,验证,SVF,DC,guide,FM
From: https://blog.csdn.net/m0_50530331/article/details/139509716

相关文章

  • 错误处理:fmt::Display & std::error::Error
    错误处理为什么要给错误类型(如JsonError)实现fmt::Displaytrait?在Rust中,fmt::Displaytrait允许你定义一个类型如何被格式化为人类可读的字符串。这通常用于错误信息、日志记录或任何其他用户输出。实现fmt::Display需要定义fmt函数,该函数写入特定格式的数据......
  • 网鼎杯 2020 玄武组 SSRFMe
    复习一下常见的redis主从复制主要是redis伪服务器的选择和一些小坑点<?phpfunctioncheck_inner_ip($url){$match_result=preg_match('/^(http|https|gopher|dict)?:\/\/.*(\/)?.*$/',$url);if(!$match_result){die('urlfomaterror......
  • FFmpeg结构体:AVInputFormat
    1.描述AVInputFormat是类似COM接口的数据结构,表示输入文件容器格式,着重于功能函数,一种文件容器格式对应一个AVInputFormat结构,在程序运行时有多个实例,位于avoformat.h文件中。2.结构体定义1typedefstructAVInputFormat{2/**3*Acommaseparated......
  • ffmpeg结构体解析-AVClass 和 AVOption
    AVClass先来看AVClass的结构如下:/***DescribetheclassofanAVClasscontextstructure.Thatisan*arbitrarystructofwhichthefirstfieldisapointertoan*AVClassstruct(e.g.AVCodecContext,AVFormatContextetc.).*/typedefstructAVClass{......
  • Android视频开发入门: VideoView、MediaPlayer、 FFmpeg、exoplayer...
    现在,视频功能是越来越普遍的需求。本文将提供一个关于Android视频开发的入门指南,帮助读者快速掌握视频播放、录制和处理等基本功能。1、概述在Android平台上,视频开发主要涉及以下几个方面:视频播放与控制视频录制与处理视频编解码与格式转换视频流媒体与直播接下来,我......
  • 高速信号处理卡:523-基于 XCZU15EG的双 FMC通用信号处理板 高速信号处理
    (ZCU102E的pin兼容替代卡)基于XCZU15EG的双FMC通用信号处理板一、板卡概述   本板卡基于XilinxZynqUltrascale+MPSOC系列SOCXCZU15EG-FFVB1156架构,PS端搭载一组64-bitDDR4,容量32Gb,最高可稳定运行在2400MT/s,1路USB3.0接口、1路千兆网络接口、1路DP接口......
  • Сеть FMS и сеть LoRa Mesh
    ЧтотакоесетьFMS?СетьFMS—этозвездообразноесетевоерешение,основанноенаполосечастотсубгигагерцаитехнологииLoRa.Беспроводныеинтелл......
  • 无缝融合:使用 Python 和 PyFFmpeg 合并视频的完整指南
    前言在当今数字化时代,视频内容无处不在。从社交媒体到在线教育,视频已经成为我们生活中不可或缺的一部分。但是,有时候我们可能需要将多个视频片段合并成一个,创造出更丰富、更有吸引力的内容。而今天,我们将向您展示如何使用Python和PyFFmpeg工具实现这一目标。准备工作:安装P......
  • 音频剪裁大师:使用 Python 和 ffmpeg 分割音频的完整指南
    前言在音频处理中,有时候我们需要对音频文件进行分割,提取其中的部分内容以满足特定需求。而Python提供了许多强大的工具和库来实现这一目标,其中ffmpeg是一个功能强大的工具,它不仅支持音频分割,还能进行音频转码、合并、提取等操作。本文将介绍如何使用Python和ffmpeg来分......
  • Linux ffmpeg 离线安装
    linux版本下载地址:http://www.ffmpeg.org/releases/4.3.1 下载地址:http://ffmpeg.org/releases/ffmpeg-4.3.1.tar.gz 配套组件yasm下载http://www.tortall.net/projects/yasm/releases/http://www.tortall.net/projects/yasm/releases/yasm-1.3.0.tar.gz yasm安......