当前位置： 首页 > news >正文

Formality：set_svf命令

news 2025/7/2 2:00:46

相关阅读

Formalityicon-default.png?t=O83Ahttps://blog.csdn.net/weixin_45791458/category_12841971.html?spm=1001.2014.3001.5482

        svf文件的全称是Setup Verification for Formality，即Design Compiler提供给Formality的设置验证文件，它的作用是为Formality的指导模式(Guidance)和设置模式(Setup)提供信息，以帮助其更好地理解和处理设计流程中因使用Design Compiler而引起的设计变更的一种机制。

        svf文件的详细介绍和生成命令在下面的博客中已经讨论，本文主要讨论Formality中的set_svf命令。

Design Compiler：set_svf命令以及svf文件简介文章浏览阅读1k次，点赞17次，收藏31次。svf文件的全称是Setup Verification for Formality，即Design Compiler提供给Formality的设置验证文件，它的作用是为Formality的指导模式(Guidance)和设置模式(Setup)提供信息，以帮助其更好地理解和处理设计流程中因使用Design Compiler而引起的设计变更的一种机制。对象名称更改(Object name changes)_svf 文件https://blog.csdn.net/weixin_45791458/article/details/144069207?spm=1001.2014.3001.5501        set_svf命令的BNF范式（有关BNF范式，可以参考以往文章）为：

set_svf [-append] [-ordered] [-extension name] [filedirnames]

指定追加

        -append表示将指定的svf文件或目录中搜索到的svf文件追加到已加载进Formality的svf信息后，如果不指定该选项，则会覆盖之前的svf信息。

        例如，假设现在有两个svf文件，default.svf中含有两条guide类命令，而test.svf中含有三条guide类命令，现在分别使用两个set_svf命令先后加载这两个svf文件：当第二个set_svf命令不使用-append选项时，第二次加载的svf文件会覆盖第一次加载的svf文件；反之则会追加。具体情况如例1所示。

// 例1
Formality (setup)> set_svf default.svf
SVF set to 'default.svf'.
1Formality (setup)> report_guidance
**************************************************
Report         : guidanceReference      : <None>
Implementation : <None>
Version        : O-2018.06-SP1
Date           : Wed Dec 11 22:51:11 2024
**************************************************Status
Command                 Accepted   Rejected  Unsupported  Unprocessed  Total
----------------------------------------------------------------------------
environment         :          1          0          0          1          2Note: If verification succeeds you can safely ignore unaccepted guidance commands.SVF files read:default.svfSVF files produced:/home/zhangchen/Desktop/vv/formality_svf/svf.txt
1
Formality (setup)> set_svf test.svf
SVF set to 'test.svf'.
1Formality (setup)> report_guidance
**************************************************
Report         : guidanceReference      : <None>
Implementation : <None>
Version        : O-2018.06-SP1
Date           : Wed Dec 11 22:51:19 2024
**************************************************Status
Command                 Accepted   Rejected  Unsupported  Unprocessed  Total
----------------------------------------------------------------------------
environment         :          1          0          0          2          3Note: If verification succeeds you can safely ignore unaccepted guidance commands.SVF files read:test.svfSVF files produced:/home/zhangchen/Desktop/vv/formality_svf/svf.txt
1Formality (setup)> set_svf -append default.svf
SVF appended with 'default.svf'.
1Formality (setup)> report_guidance
**************************************************
Report         : guidanceReference      : <None>
Implementation : <None>
Version        : O-2018.06-SP1
Date           : Wed Dec 11 22:52:34 2024
**************************************************Status
Command                 Accepted   Rejected  Unsupported  Unprocessed  Total
----------------------------------------------------------------------------
environment         :          1          0          0          4          5Note: If verification succeeds you can safely ignore unaccepted guidance commands.SVF files read:test.svfdefault.svfSVF files produced:/home/zhangchen/Desktop/vv/formality_svf/svf.txt
1

        顺带一提，除了使用report_guidance命令查看加载的svf文件，也可以在Formality工作目录中的formality_svf子目录中找到svf.txt文件，它是已加载的svf文件的文本可读形式（但它们两者只能查看加载的svf文件中的guide类命令，而无法查看用户执行的guide类命令）。

指定顺序

        -ordered选项用于指定了多于一个svf文件或者指定了搜索目录的set_svf命令，默认情况下，set_svf命令按照时间戳顺序加载这些svf文件。如果指定了-ordered选项，set_svf命令按照svf文件指定的顺序和搜索目录中的搜索顺序（按照文件名顺序）。

        例如，假设现在有两个svf文件，default.svf（时间戳更早）中含有两条guide类命令，而test.svf中含有三条guide类命令，现在使用一个set_svf命令加载这两个svf文件：当不使用-ordered选项时，会按照按照时间戳顺序加载这两个svf文件；反之则会按照svf文件指定的顺序加载这两个svf文件。具体情况如例2所示。

Formality (setup)> set_svf test.svf default.svf
SVF set to 'default.svf test.svf'.
1Formality (setup)> report_guidance
**************************************************
Report         : guidanceReference      : <None>
Implementation : <None>
Version        : O-2018.06-SP1
Date           : Wed Dec 11 23:23:36 2024
**************************************************Status
Command                 Accepted   Rejected  Unsupported  Unprocessed  Total
----------------------------------------------------------------------------
environment         :          1          0          0          4          5Note: If verification succeeds you can safely ignore unaccepted guidance commands.SVF files read:default.svftest.svfSVF files produced:/home/zhangchen/Desktop/vv/formality_svf/svf.txt
1Formality (setup)> set_svf -ordered test.svf default.svf
SVF set to 'test.svf default.svf'.
1Formality (setup)> report_guidance
**************************************************
Report         : guidanceReference      : <None>
Implementation : <None>
Version        : O-2018.06-SP1
Date           : Wed Dec 11 23:24:03 2024
**************************************************Status
Command                 Accepted   Rejected  Unsupported  Unprocessed  Total
----------------------------------------------------------------------------
environment         :          1          0          0          4          5Note: If verification succeeds you can safely ignore unaccepted guidance commands.SVF files read:test.svfdefault.svfSVF files produced:/home/zhangchen/Desktop/vv/formality_svf/svf.txt
1Formality (setup)> set_svf ./
SVF set to './default.svf ./test.svf'.
1Formality (setup)> report_guidance
**************************************************
Report         : guidanceReference      : <None>
Implementation : <None>
Version        : O-2018.06-SP1
Date           : Wed Dec 11 23:28:38 2024
**************************************************Status
Command                 Accepted   Rejected  Unsupported  Unprocessed  Total
----------------------------------------------------------------------------
environment         :          1          0          0          4          5Note: If verification succeeds you can safely ignore unaccepted guidance commands.SVF files read:./default.svf./test.svfSVF files produced:/home/zhangchen/Desktop/vv/formality_svf/svf.txt
1Formality (setup)> set_svf -ordered ./
SVF set to './default.svf ./test.svf'.
1Formality (setup)> report_guidance
**************************************************
Report         : guidanceReference      : <None>
Implementation : <None>
Version        : O-2018.06-SP1
Date           : Wed Dec 11 23:28:50 2024
**************************************************Status
Command                 Accepted   Rejected  Unsupported  Unprocessed  Total
----------------------------------------------------------------------------
environment         :          1          0          0          4          5Note: If verification succeeds you can safely ignore unaccepted guidance commands.SVF files read:./default.svf./test.svfSVF files produced:/home/zhangchen/Desktop/vv/formality_svf/svf.txt
1

        可以注意到，例2中利用了不使用-append选项会导致后续set_svf命令覆盖的特性。

指定拓展名

        -extension选项用于指定搜索目录时的文件拓展名，默认为svf。

指定svf文件和搜索目录

        可以指定多个svf文件或搜索目录作为参数，这两者的组合也是可以接受的。

删除已加载的svf信息

        当使用set_svf命令不指定svf文件和搜索目录时，可以删除已加载的svf信息（不包括用户执行的guide类命令）。但是，最好使用 remove_guidance命令删除已加载的svf信息。

注意事项

        只有在读取除工艺库外的设计文件之前才能使用set_svf命令，否则需要使用remove_container命令将设计文件全部移除。

相关文章：

Formality：set_svf命令

相关阅读 Formalityhttps://blog.csdn.net/weixin_45791458/category_12841971.html?spm1001.2014.3001.5482 svf文件的全称是Setup Verification for Formality&#xff0c;即Design Compiler提供给Formality的设置验证文件&#xff0c;它的作用是为Formality的指导模式(Gui…...

编程日记 2024/12/12 10:40:12

IDEA报错：无效的源发行版、无效的目标发行版

1. 无效的源发行版 创建项目的时候&#xff0c;会遇见这个报错&#xff0c;原因就是编译的JDK版本与发布版本不一致。 解决方法&#xff1a; 1.1. 找到问题所在地 英文&#xff1a;File -> Project Structure ->Project Settings 中文&#xff1a;文件->项目结构 …...

编程日记 2024/12/12 10:39:12

#渗透测试#红蓝对抗#SRC漏洞挖掘# Yakit插件使用及编写01

免责声明 本教程仅为合法的教学目的而准备&#xff0c;严禁用于任何形式的违法犯罪活动及其他商业行为&#xff0c;在使用本教程前&#xff0c;您应确保该行为符合当地的法律法规&#xff0c;继续阅读即表示您需自行承担所有操作的后果&#xff0c;如有异议&#xff0c;请立即停…...

编程日记 2024/12/12 10:38:10

Scala中求斐波那契数列的第n项

求斐波那契数列的第n项 问题&#xff1a;求 斐波那契数列的第n项 记&#xff1a; 0 1 1 2 3 5 8 13 21 34 55 ... 从第3项开始 f(n) f(n-1) f(n-2) 1.基本情况&#xff08;直接能求的&#xff09;&#xff1a;f(0) 0,f(1) 1 2.递归情况&#xff08;大事化小&#xff0c;自己…...

编程日记 2024/12/12 10:30:02

ORACLE修改序列值为表内某字段（主键）最大值

ORACLE修改序列值为表内某字段&#xff08;主键&#xff09;最大值 想修改序列值&#xff0c;网上基本的都是自己看要加到多少&#xff0c;然后要么调步长&#xff0c;要么删了重建。 想直接用declare使用标量然后调&#xff0c;但是逻辑里面不能有DDL语句。 不过最后解决了 直…...

编程日记 2024/12/12 10:21:52

前端html，vue使用第三方地图详细教程，以百度地图为例，实现地图标注，导航，定位，路线规划，坐标转换

目录 示例&#xff1a; 准备&#xff1a; ?编辑 开始&#xff1a; 1、新建页面&#xff0c;在script标签中引入百度地图的api数据&#xff0c;把自己在控制台创建的应用的ak替换上去 2、创建一个dom对象&#xff0c;设置宽高 3、在js中初始化地图 进阶&#xff1a; 1…...

编程日记 2024/12/12 10:20:50

【入门】加密四位数

描述 某军事单位用 4 位整数来传递信息&#xff0c;传递之前要求先对这个 4 位数进行加密。加密的方式是每一位都先加上 5 然后对 10 取余数&#xff0c;再将得到的新数颠倒过来。 例如&#xff1a;原数是 1379 &#xff0c;那么每位加 5 对 10 取余数的结果为 6824 &#xf…...

编程日记 2024/12/12 10:19:48

[游戏开发] Unity中使用FlatBuffer

什么是FlatBuffer 为什么用FloatBuffer&#xff0c;优势在哪&#xff1f; 下图是常规使用的各种数据存储类型的性能对比。 对序列化数据的访问不需要打包和拆包——它将序列化数据存储在缓存中&#xff0c;这些数据既可以存储在文件中&#xff0c;又可以通过网络原样传输&…...

编程日记 2024/12/12 10:17:46

云计算IaaS-PaaS-SaaS三种服务模式转至元数据结尾

在当今数字化时代&#xff0c;云计算已经成为推动企业创新与发展的核心力量。而云计算的模型主要有三种&#xff1a;IAAS、PAAS 和 SAAS&#xff0c;它们各自在云计算的庞大体系中扮演着独特且关键的角色&#xff0c;恰似一座大厦的不同楼层&#xff0c;共同构建起强大而灵活的…...

编程日记 2024/12/12 10:16:45

【数据结构——查找】二叉排序树（头歌实践教学平台习题）【合集】

目录&#x1f60b; 任务描述 相关知识 测试说明 我的通关代码: 测试结果&#xff1a; 任务描述 本关任务&#xff1a;实现二叉排序树的基本算法。 相关知识 为了完成本关任务&#xff0c;你需要掌握&#xff1a;二叉树的创建、查找和删除算法。具体如下&#xff1a; (1)由…...

编程日记 2024/12/12 10:10:35

代码随想录第43天

300.最长递增子序列 # Dynamic programming. class Solution:def lengthOfLIS(self, nums: List[int]) -> int:if not nums: return 0dp [1] * len(nums)for i in range(len(nums)):for j in range(i):if nums[j] < nums[i]: # 如果要求非严格递增&#xff0c;将此行 …...

编程日记 2024/12/12 10:08:30

LeetCode - #158 用 Read4 读取 N 个字符 II

文章目录 摘要描述题目描述方法定义 题解答案题解代码题解代码分析示例测试及结果示例测试代码示例运行结果 时间复杂度空间复杂度总结关于我们 摘要 本文将详细解读一道与文件读取相关的编程问题&#xff1a;如何使用 read4 实现按需读取 n 个字符的 read 方法。我们不仅会提…...

编程日记 2024/12/12 10:06:25

C++（进阶) 第2章 多态

C&#xff08;进阶) 第2章 多态 文章目录 前言一、多态的概念二、多态的定义及实现1.虚函数2.虚函数的重写3.多态的条件4.多态的细节 三、析构函数的重写四、重载/重写/隐藏的对比五、抽象类抽象类 六、相关题目题目1题目2 七、const修饰八、多态原理九、虚函数放在地方总结 前…...

编程日记 2024/12/12 10:03:22

mac删除程序坞(Dock)中“无法打开的程序“

参考&#xff1a; Mac删除软件之后图标还在怎么办&#xff1f;https://blog.csdn.net/weixin_46500474/article/details/124284161Mac程序坞中软件删除出现残留“&#xff1f;”图标无法删除解决方法&#xff1a; https://blog.csdn.net/shenwenhao1990/article/details/12865…...

编程日记 2024/12/12 10:01:19

【Linux】vi/vim 使用技巧

文章目录 1. 简介vi和vim的历史vi和vim的区别安装vimUbuntu/DebianCentOS/RHELFedoramacOSWindows 2. 基本操作启动和退出启动退出 模式介绍普通模式插入模式命令模式 光标移动基本移动高级移动 3. 文本编辑插入文本删除文本复制和粘贴撤销和重做 4. 搜索与替换基本搜索搜索文本…...

编程日记 2024/12/12 10:00:17

Python自动化办公(系统维护及开发任务状态自动推送)

Python自动化办公, 1.需求分析 系统维护及开发人员的工作一般都会比较繁杂,领导们喜欢实时掌控项目的进度,但是领导们很多时候是不会自己主动去查看及分析项目进度数据的,干活的牛马们也没空整天日报,周报,月报,季报,年报…活又有了,又该想想怎么干,需求的核心是实现自动整理…...

编程日记 2024/12/12 9:59:16

CentOS7 Apache安装踩坑

Gnome桌面右键弹出终端。 [rootlocalhost ~]# yum repolist 已加载插件&#xff1a;fastestmirror, langpacks /var/run/yum.pid 已被锁定&#xff0c;PID 为 2611 的另一个程序正在运行。 Another app is currently holding the yum lock; waiting for it to exit... [root…...

编程日记 2024/12/12 9:56:13

OpenMMlab导出MaskFormer/Mask2Former模型并用onnxruntime和tensorrt推理

onnxruntime推理 使用mmdeploy导出onnx模型&#xff1a; from mmdeploy.apis import torch2onnx from mmdeploy.backend.sdk.export_info import export2SDK# img ./bus.jpg # work_dir ./work_dir/onnx/maskformer # save_file ./end2end.onnx # deploy_cfg ./configs/m…...

编程日记 2024/12/12 9:54:11

若依微服务中配置 MySQL + DM 多数据源

文章目录 1、导入 MySQL 和达梦&#xff08;DM&#xff09;依赖2、在 application-druid.yml 中配置达梦&#xff08;DM&#xff09;数据源3、在 DruidConfig 类中配置多数据源信息4、在 Service 层或方法级别切换数据源4.1 在 Service 类上切换到从库数据源4.2 在方法级别切换…...

编程日记 2024/12/12 9:53:09

一些前端组件介绍

wangEditor &#xff1a; 一款开源 Web 富文本编辑器&#xff0c;可用于 jQuery Vue React等 https://www.wangeditor.com/ Handsontable&#xff1a;一款前端可编辑电子表格https://blog.csdn.net/carcarrot/article/details/108492356mitt&#xff1a;Mitt 是一个在 Vue.js 应…...

编程日记 2024/12/12 9:48:04

基于算法竞赛的c++编程（28）结构体的进阶应用

结构体的嵌套与复杂数据组织 在C中&#xff0c;结构体可以嵌套使用&#xff0c;形成更复杂的数据结构。例如&#xff0c;可以通过嵌套结构体描述多层级数据关系&#xff1a; struct Address {string city;string street;int zipCode; };struct Employee {string name;int id;…...

编程新知 2025/6/17 5:30:27

RocketMQ延迟消息机制

两种延迟消息 RocketMQ中提供了两种延迟消息机制 指定固定的延迟级别 通过在Message中设定一个MessageDelayLevel参数&#xff0c;对应18个预设的延迟级别指定时间点的延迟级别 通过在Message中设定一个DeliverTimeMS指定一个Long类型表示的具体时间点。到了时间点后&#xf…...

编程新知 2025/7/1 20:41:53

日语学习-日语知识点小记-构建基础-JLPT-N4阶段（33）：にする

日语学习-日语知识点小记-构建基础-JLPT-N4阶段（33）：にする 1、前言（1）情况说明（2）工程师的信仰2、知识点（1）　にする1，接续：名词＋にする2，接续：疑问词＋にする3，（A）は（B）にする。（2）復習：（1）复习句子（2）ために　＆　ように（３）そう（４）にする3、…...

编程新知 2025/6/17 10:46:36

前端导出带有合并单元格的列表

// 导出async function exportExcel(fileName "共识调整.xlsx") {// 所有数据const exportData await getAllMainData();// 表头内容let fitstTitleList [];const secondTitleList [];allColumns.value.forEach(column > {if (!column.children) {fitstTitleL…...

编程新知 2025/7/1 2:32:35

RNN避坑指南：从数学推导到LSTM/GRU工业级部署实战流程

本文较长&#xff0c;建议点赞收藏&#xff0c;以免遗失。更多AI大模型应用开发学习视频及资料&#xff0c;尽在聚客AI学院。 本文全面剖析RNN核心原理&#xff0c;深入讲解梯度消失/爆炸问题&#xff0c;并通过LSTM/GRU结构实现解决方案&#xff0c;提供时间序列预测和文本生成…...

编程新知 2025/6/26 10:08:55

Rapidio门铃消息FIFO溢出机制

关于RapidIO门铃消息FIFO的溢出机制及其与中断抖动的关系&#xff0c;以下是深入解析&#xff1a; 门铃FIFO溢出的本质 在RapidIO系统中&#xff0c;门铃消息FIFO是硬件控制器内部的缓冲区&#xff0c;用于临时存储接收到的门铃消息&#xff08;Doorbell Message&#xff09;。…...

编程新知 2025/6/20 15:59:42

鸿蒙DevEco Studio HarmonyOS 5跑酷小游戏实现指南

1. 项目概述 本跑酷小游戏基于鸿蒙HarmonyOS 5开发&#xff0c;使用DevEco Studio作为开发工具&#xff0c;采用Java语言实现&#xff0c;包含角色控制、障碍物生成和分数计算系统。 2. 项目结构 /src/main/java/com/example/runner/├── MainAbilitySlice.java // 主界…...

编程新知 2025/6/21 22:57:04

Modbus RTU与Modbus TCP详解指南

目录 1. Modbus协议基础 1.1 什么是Modbus？ 1.2 Modbus协议历史 1.3 Modbus协议族 1.4 Modbus通信模型 🎭 主从架构 🔄 请求响应模式 2. Modbus RTU详解 2.1 RTU是什么？ 2.2 RTU物理层 🔌 连接方式 ⚡ 通信参数 2.3 RTU数据帧格式 📦 帧结构详解 🔍…...

编程新知 2025/6/21 0:49:44

C++实现分布式网络通信框架RPC(2)——rpc发布端

有了上篇文章的项目的基本知识的了解&#xff0c;现在我们就开始构建项目。 目录 一、构建工程目录 二、本地服务发布成RPC服务 2.1理解RPC发布 2.2实现 三、Mprpc框架的基础类设计 3.1框架的初始化类 MprpcApplication 代码实现 3.2读取配置文件类 MprpcConfig 代码实现…...

编程新知 2025/6/28 13:44:15

DiscuzX3.5发帖json api

参考文章&#xff1a;PHP实现独立Discuz站外发帖(直连操作数据库)_discuz 发帖api-CSDN博客 简单改造了一下&#xff0c;适配我自己的需求 有一个站点存在多个采集站&#xff0c;我想通过主站拿标题&#xff0c;采集站拿内容 使用到的sql如下 CREATE TABLE pre_forum_post_…...

编程新知 2025/6/21 6:43:48