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

Formality：set_svf命令

news 2026/3/25 15:07:04

相关阅读

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 GUI现代化改造：用ttk模块让你的界面颜值翻倍（附完整代码示例）

Python GUI现代化改造&#xff1a;用ttk模块让你的界面颜值翻倍&#xff08;附完整代码示例&#xff09; 1. 为什么你的Tkinter界面看起来像古董&#xff1f; 每次打开用Tkinter开发的GUI程序&#xff0c;总有种穿越回Windows 98的错觉。那些棱角分明的按钮、单调的灰色背景和生…...

编程新知 2026/3/25 15:00:04

告别‘大块头’SAM！用EfficientSAM在普通显卡上玩转图像分割（附保姆级部署教程）

在消费级显卡上实战EfficientSAM&#xff1a;轻量级图像分割全流程指南 当Meta的SAM&#xff08;Segment Anything Model&#xff09;横空出世时&#xff0c;整个计算机视觉社区都为之振奋——这个能够"分割一切"的基础模型展现了前所未有的通用分割能力。但很快&…...

编程新知 2026/3/25 13:49:28

Moondream2与MySQL结合：构建图像内容数据库

Moondream2与MySQL结合&#xff1a;构建图像内容数据库 1. 引言 想象一下&#xff0c;你手头有成千上万张产品图片&#xff0c;想要快速找到所有包含"红色连衣裙"的图片&#xff0c;或者需要统计所有"户外场景"的商品照片。传统的人工筛选方式不仅耗时费…...

编程新知 2026/3/25 13:13:12

HGT实战：如何用Heterogeneous Graph Transformer处理学术图谱中的多类型节点关系

HGT实战&#xff1a;从学术图谱到工业级应用的异构注意力建模 在推荐系统与知识图谱构建领域&#xff0c;数据科学家们常常需要处理包含论文-作者-机构-会议等多类型节点的复杂网络。传统图神经网络(GNN)的同构假设在这里遇到了瓶颈——当不同类型的节点共享同一套特征转换规则…...

编程新知 2026/3/25 12:59:10

Go后端生产级实践：架构、工程化、性能、质量四维度攻坚指南（2026前瞻版）

在云原生浪潮席卷、高并发场景常态化、业务复杂度持续攀升的今天&#xff0c;Go语言凭借其简洁语法、原生高并发能力、编译级效率与出色的跨平台特性&#xff0c;已成为后端开发的“首选语言”——从云原生组件&#xff08;Kubernetes、Etcd&#xff09;到高并发服务&#xff0…...

编程新知 2026/3/25 12:22:18

Qwen2.5-7B快速搭建：结合vLLM实现高效推理的Gradio应用

Qwen2.5-7B快速搭建&#xff1a;结合vLLM实现高效推理的Gradio应用 1. 引言 在当今AI技术快速发展的背景下&#xff0c;大型语言模型的应用越来越广泛。Qwen2.5-7B作为阿里开源的最新语言模型&#xff0c;在知识量、编程能力和数学能力等方面都有显著提升。本文将介绍如何快速…...

编程新知 2026/3/25 11:50:05

Llama-3.2V-11B-cot实战教程：API接口封装与Postman测试用例设计

Llama-3.2V-11B-cot实战教程&#xff1a;API接口封装与Postman测试用例设计 1. 项目概述 Llama-3.2V-11B-cot是基于Meta Llama-3.2V-11B-cot多模态大模型开发的高性能视觉推理工具。该工具针对双卡4090环境进行了深度优化&#xff0c;修复了视觉权重加载的致命Bug&#xff0c…...

编程新知 2026/3/25 11:13:30

OpenCFD-SCU从编译到实战：用GPU加速超声速流动模拟（含Tecplot后处理教程）

OpenCFD-SCU从编译到实战&#xff1a;用GPU加速超声速流动模拟&#xff08;含Tecplot后处理教程&#xff09; 计算流体力学&#xff08;CFD&#xff09;作为现代工程设计与科学研究的重要工具&#xff0c;其计算效率直接影响着项目周期与研究成果的产出速度。本文将带您从零开始…...

编程新知 2026/3/25 11:01:28

Kettle转换里SQL步骤优先级太高？手把手教你用‘阻塞数据’控件实现‘先删后插’

Kettle转换中SQL步骤优先级问题深度解析&#xff1a;如何精准控制"先删后插"流程 在ETL开发领域&#xff0c;Kettle&#xff08;现称Pentaho Data Integration&#xff09;因其可视化操作和强大功能成为众多数据工程师的首选工具。然而&#xff0c;当开发者从简单的数…...

编程新知 2026/3/25 10:21:09

4个维度精通IPED插件依赖管理：从冲突解决到部署优化

4个维度精通IPED插件依赖管理&#xff1a;从冲突解决到部署优化 【免费下载链接】IPED IPED Digital Forensic Tool. It is an open source software that can be used to process and analyze digital evidence, often seized at crime scenes by law enforcement or in a cor…...

编程新知 2026/3/25 10:15:08