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

Formality：set_svf命令

news 文章来源：https://blog.csdn.net/weixin_45791458/article/details/144404635 2025/1/15 17:15:21

相关阅读

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

python学opencv|读取图像（九）用numpy创建黑白相间灰度图

【1】引言 前述学习过程中&#xff0c;掌握了用numpy创建矩阵数据&#xff0c;把所有像素点的BGR取值设置为0&#xff0c;然后创建纯黑灰度图的方法&#xff0c;具体链接为&#xff1a; python学opencv|读取图像&#xff08;八&#xff09;用numpy创建纯黑灰度图-CSDN博客 在…...

编程日记 2024/12/12 9:45:00

AtCoder Beginner Contest 383

C - Humidifier 3 Description 一个 h w h \times w hw 的网格&#xff0c;每个格子可能是墙、空地或者城堡。 一个格子是好的&#xff0c;当且仅当从至少一个城堡出发&#xff0c;走不超过 d d d 步能到达。&#xff08;只能上下左右走&#xff0c;不能穿墙&#xff09;&…...

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

20. 内置模块

一、random模块 random 模块用来创建随机数的模块。 random.random() # 随机生成一个大于0且小于1之间的小数 random.randint(a, b) # 随机生成一个大于等于a小于等于b的随机整数 random.uniform(a, b) …...

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

《知识拓展 · 统一建模语言UML》

&#x1f4e2; 大家好&#xff0c;我是 【战神刘玉栋】&#xff0c;有10多年的研发经验&#xff0c;致力于前后端技术栈的知识沉淀和传播。 &#x1f497; &#x1f33b; CSDN入驻不久&#xff0c;希望大家多多支持&#xff0c;后续会继续提升文章质量&#xff0c;绝不滥竽充数…...

编程日记 2024/12/12 9:37:51

计算机网络-Wireshark探索ARP

使用工具 Wiresharkarp: To inspect and clear the cache used by the ARP protocol on your computer.curl(MacOS)ifconfig(MacOS or Linux): to inspect the state of your computer’s network interface.route/netstat: To inspect the routes used by your computer.Brows…...

编程日记 2024/12/12 9:36:49

减少30%人工处理时间，AI OCR与表格识别助力医疗化验单快速处理

在医疗行业&#xff0c;化验单作为重要的诊断依据和数据来源&#xff0c;涉及大量的文字和表格信息&#xff0c;传统的手工输入和数据处理方式不仅繁琐&#xff0c;而且容易出错&#xff0c;给医院的运营效率和数据准确性带来较大挑战。随着人工智能技术的快速发展&#xff0c;…...

编程日记 2024/12/12 9:32:44

1.2.3计算机软件

一个完整的计算机系统由硬件和软件组成&#xff0c;用户使用软件&#xff0c;而软件运行在硬件之上&#xff0c;软件进一步的划分为两类&#xff1a;应用软件和系统软件。普通用户通常只会跟应用软件打交道。应用软件是为了解决用户的某种特定的需求而研发出来的。除了每个人都…...

编程日记 2024/12/12 9:28:39

二、uni-forms

避坑指南&#xff1a;uni-forms表单在uni-app中的实践经验-CSDN博客...

编程日记 2024/12/12 9:27:38

Android13开机向导

文章目录 前言需求-场景第三方资料说明需求思路按照平台 思路 从配置上去 feature换个思路&#xff0c;去feature。SimMissingActivity 判断跳过逻辑SetupWizardUtils 判断SIM 、 hasSystemFeature FEATURE_TELEPHONYPackageManager.FEATURE_TELEPHONYApplicationPackageManage…...

编程日记 2024/12/12 9:23:34

软件测试丨Appium 源码分析与定制

在本文中&#xff0c;我们将深入Appium的源码&#xff0c;探索它的底层架构、定制化使用方法和给软件测试带来的优势。我们将详细介绍这些技术如何解决实际问题&#xff0c;并与大家分享一些实用的案例&#xff0c;以帮助读者更好地理解和应用这一技术。 Appium简介 什么是App…...

编程日记 2024/12/12 9:21:32

要修改wordpress目录下的文件权限/北京百度竞价托管公司

问题如题&#xff1a;安装方法参考 http://www.cnblogs.com/shengulong/p/7887586.html &#xff0c;安装完后&#xff0c;使用时出现如题的错误 解决办法&#xff1a; 1、zerorpc本身依赖很多三方包&#xff0c;请注意版本的兼容性&#xff0c;因此最佳方案是&#xff0c;把这…...

编程日记 2025/1/15 16:03:52

长沙网站建设哪家靠谱/郑州见效果付费优化公司

String.prototype.charAt()str.charAt(index)返回字符串中指定位置的字符。字符串中的字符从左向右索引&#xff0c;第一个字符的索引值为 0&#xff0c;最后一个字符(假设该字符位于字符串 stringName 中)的索引值为 stringName.length - 1。如果指定的 index 值超出了该范围&…...

编程日记 2025/1/15 12:11:18

做cosplay网站教程/郑州网站seo外包

? “Python猫” &#xff0c;一个值得加星标的公众号剧照 | 《犬夜叉》“ 如果你的Linux服务器突然负载暴增&#xff0c;告警短信快发爆你的手机&#xff0c;如何在最短时间内找出Linux性能问题所在&#xff1f;来看Netflix性能工程团队的这篇博文&#xff0c;看它们通过十条命…...

编程日记 2025/1/15 8:20:14

上海网站建设培训学校/跨境电商平台排行榜前十名

一、阿里巴巴 &#xff08;一&#xff09;UI有关 1. 多页面切换场景统一解决方案 UltraViewPager UltraViewPager 是阿里开源的一个封装多种特性的 ViewPager &#xff0c;主要是为多页面切换场景提供统一解决方案。 主要功能: 1. 支持横向滑动&#xff0f;纵向滑动2. 支持一屏…...

编程日记 2025/1/15 7:22:12

做封面的免费网站/网站制作工具有哪些

点击上方“蓝色字”可关注我们&#xff01;暴走时评&#xff1a;Morgan Creek的Anthony Pompliano宣称&#xff0c;与区块链领域的一些人的期望相反&#xff0c;Facebook最终将构建“加密货币领域中最常用的产品。”Pompliano的话也算是回应了The Block创始人Mike Dudas的推文&…...

编程日记 2025/1/15 4:31:22

长沙做公司网站/谷歌seo推广服务

//查找 键是"a"的元素&#xff0c;返回指向元素的指针。 itword.find ("a"); //若是元素不存在&#xff0c;指针指向word.end(). if(it!word.end ()) cout<<it->second<<endl; //输出元素的值 void main() { //定义map 对象 map<…...

编程日记 2025/1/15 1:31:28