Formality：set_svf命令

相关阅读

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'.
1

Formality (setup)> report_guidance
**************************************************
Report         : guidance

Reference      : <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          2

Note: If verification succeeds you can safely ignore unaccepted guidance commands.

SVF files read:
      default.svf

SVF files produced:
  /home/zhangchen/Desktop/vv/formality_svf/
    svf.txt
1
Formality (setup)> set_svf test.svf
SVF set to 'test.svf'.
1

Formality (setup)> report_guidance
**************************************************
Report         : guidance

Reference      : <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          3

Note: If verification succeeds you can safely ignore unaccepted guidance commands.

SVF files read:
      test.svf

SVF files produced:
  /home/zhangchen/Desktop/vv/formality_svf/
    svf.txt
1

Formality (setup)> set_svf -append default.svf
SVF appended with 'default.svf'.
1

Formality (setup)> report_guidance
**************************************************
Report         : guidance

Reference      : <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          5

Note: If verification succeeds you can safely ignore unaccepted guidance commands.

SVF files read:
      test.svf
      default.svf

SVF 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'.
1

Formality (setup)> report_guidance
**************************************************
Report         : guidance

Reference      : <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          5

Note: If verification succeeds you can safely ignore unaccepted guidance commands.

SVF files read:
      default.svf
      test.svf

SVF files produced:
  /home/zhangchen/Desktop/vv/formality_svf/
    svf.txt
1

Formality (setup)> set_svf -ordered test.svf default.svf
SVF set to 'test.svf default.svf'.
1

Formality (setup)> report_guidance
**************************************************
Report         : guidance

Reference      : <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          5

Note: If verification succeeds you can safely ignore unaccepted guidance commands.

SVF files read:
      test.svf
      default.svf

SVF files produced:
  /home/zhangchen/Desktop/vv/formality_svf/
    svf.txt
1

Formality (setup)> set_svf ./
SVF set to './default.svf ./test.svf'.
1

Formality (setup)> report_guidance
**************************************************
Report         : guidance

Reference      : <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          5

Note: If verification succeeds you can safely ignore unaccepted guidance commands.

SVF files read:
      ./default.svf
      ./test.svf

SVF files produced:
  /home/zhangchen/Desktop/vv/formality_svf/
    svf.txt
1

Formality (setup)> set_svf -ordered ./
SVF set to './default.svf ./test.svf'.
1

Formality (setup)> report_guidance
**************************************************
Report         : guidance

Reference      : <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          5

Note: If verification succeeds you can safely ignore unaccepted guidance commands.

SVF files read:
      ./default.svf
      ./test.svf

SVF 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命令将设计文件全部移除。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：/a/934797.html

如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈qq邮箱809451989@qq.com，一经查实，立即删除！

相关文章

【蓝桥杯每日一题】重新排序

【蓝桥杯每日一题】重新排序

重新排序 2024-12-8 蓝桥杯每日一题 重新排序 前缀和 差分 题目大意 给定一个数组 A 和一些查询 L i , R i Li_,R_i Li,​Ri​, 求数组中第 L i L_i Li​至第 R i R_i Ri​个元素之和。 小蓝觉得这个问题很无聊, 于是他想重新排列一下数组, 使得最终每个查 询结果的和尽可能…
阅读更多...
LabelImg使用教程

LabelImg使用教程

(yolov5scondaPython3123) D:\PyCharm20240724\20240724PyCharmProject>conda.bat deactivate D:\PyCharm20240724\20240724PyCharmProject>conda activate labelimg_env (labelimg_env) D:\PyCharm20240724\20240724PyCharmProject> labelimg 创建快捷键方式
阅读更多...
洛谷 P1179 [NOIP2010 普及组] 数字统计 C语言

洛谷 P1179 [NOIP2010 普及组] 数字统计 C语言

题目&#xff1a; https://www.luogu.com.cn/problem/P1179 思路&#xff1a;直接暴力过 代码&#xff1a; #include<iostream> using namespace std; int cnt(int x) {int sum 0;while(x){int temp x %10;if(temp 2){sum;}x x/10;}return sum; } int main(void) …
阅读更多...
练9：进制转换

练9：进制转换

欢迎大家订阅【蓝桥杯Python每日一练】 专栏&#xff0c;开启你的 Python数据结构与算法 学习之旅&#xff01; 文章目录 1 进制转换2 例题分析 1 进制转换 ①任意制转为十进制 【示例】 ②十进制转为任意制 【法一】 【法二】 2 例题分析 题目地址&#xff1a;https:/…
阅读更多...
【ComfyUI+多视图生成】MV-Adapter:多视图一致性图片生成（2024.12.09基于SDXL开源）

【ComfyUI+多视图生成】MV-Adapter:多视图一致性图片生成（2024.12.09基于SDXL开源）

源码&#xff1a;https://github.com/huanngzh/MV-Adapter ComfyUI扩展&#xff1a;https://github.com/huanngzh/ComfyUI-MVAdapter 项目主页&#xff1a;https://huanngzh.github.io/MV-Adapter-Page/ 论文&#xff1a;2412.MV-Adapter: Multi-view Consistent Image Generat…
阅读更多...
《机器学习》2.4假设检验 t分布 F分布

《机器学习》2.4假设检验 t分布 F分布

目录 t发布 注意是这个东西服从t分布 数据服从t分布通常是在以下情况下&#xff1a; 以下是一些具体的例子&#xff0c;说明在何种情况下数据会服从t分布&#xff1a; t检验 交叉验证t检验 样本方差​编辑 F分布&#xff08;fisher Friedman检验是一种非参数统计方法&a…
阅读更多...
图像识别 | Matlab基于卷积神经网络(CNN)的宝可梦识别源程序，GUI界面。附详细的运行说明。

图像识别 | Matlab基于卷积神经网络(CNN)的宝可梦识别源程序，GUI界面。附详细的运行说明。

图像识别 | Matlab基于卷积神经网络(CNN)的宝可梦识别源程序&#xff0c;GUI界面。附详细的运行说明。 目录 图像识别 | Matlab基于卷积神经网络(CNN)的宝可梦识别源程序&#xff0c;GUI界面。附详细的运行说明。预测效果基本介绍程序设计参考资料 预测效果 基本介绍 Matlab基…
阅读更多...
全国青少年信息学奥林匹克竞赛（信奥赛）备考实战之计数器与累加器（一）

全国青少年信息学奥林匹克竞赛（信奥赛）备考实战之计数器与累加器（一）

学习背景&#xff1a; 在现实生活中一些需要计数的场景下我们会用到计数器&#xff0c;如空姐手里记录乘客的计数器&#xff0c;跳绳手柄上的计数器等。累加器是累加器求和&#xff0c;以得到最后的结果。计数器和累加器它们虽然是基础知识&#xff0c;但是应用广泛&#xff0…
阅读更多...
计算机毕业设计Python动物图像识别分类系统 机器学习 深度学习 数据可视化 爬虫 卷积神经网络CNN 预测算法 图像识别

计算机毕业设计Python动物图像识别分类系统 机器学习 深度学习 数据可视化 爬虫 卷积神经网络CNN 预测算法 图像识别

温馨提示&#xff1a;文末有 CSDN 平台官方提供的学长联系方式的名片&#xff01; 温馨提示&#xff1a;文末有 CSDN 平台官方提供的学长联系方式的名片&#xff01; 温馨提示&#xff1a;文末有 CSDN 平台官方提供的学长联系方式的名片&#xff01; 作者简介&#xff1a;Java领…
阅读更多...
ASP.NET Core API + MySql

ASP.NET Core API + MySql

环境 数据库&#xff1a; mysql8.0 后端&#xff1a; vs2022 ASP.NET Core API .net 8 前端&#xff1a; Hbuilderx bootstrap 5.3.0 jquery v3.7.1 bootstrap-table 1.23.5 创建项目 添加资源包 AutoMapper Microsoft.EntityFrameworkCore.Tools 8.0.0 Pomelo.EntityFramew…
阅读更多...
vmware vsphere5---部署vCSA（VMware vCenter Server）附带第二阶段安装报错解决方案

vmware vsphere5---部署vCSA（VMware vCenter Server）附带第二阶段安装报错解决方案

声明 因为这份文档我是边做边写的&#xff0c;遇到问题重新装了好几次所以IP会很乱 ESXI主机为192.168.20.10 VCSA为192.168.20.7&#xff0c;后台为192.168.20.7:5480 后期请自行对应&#xff0c;后面的192.168.20.57请对应192.168.20.7&#xff0c;或根据自己的来 第一阶段…
阅读更多...
【QT】：QT（介绍、下载安装、认识 QT Creator）

【QT】：QT（介绍、下载安装、认识 QT Creator）

背景 &#x1f680; 在我们的互联网中的核心岗位主要有以下几种 开发&#xff08;程序员&#xff09;测试运维&#xff08;管理机器&#xff09;产品经理&#xff08;非技术岗位&#xff0c;提出需求&#xff09; 而我们这里主要关注的是开发方向&#xff0c;开发岗位又分很…
阅读更多...
STM32 出租车计价器系统设计（一） 江科大源码改写

STM32 出租车计价器系统设计（一） 江科大源码改写

STM32 出租车计价器系统设计 功能目标 驱动步进电机模拟车轮旋转&#xff0c;并实现调速功能。 设置车轮周长和单价&#xff0c;检测车轮转速和运转时间。 计算并显示行驶里程和价格。 硬件材料 28BYJ48 五线四相步进电机和 ULN2003 驱动板模块 测速传感器模块 嵌入式小系统…
阅读更多...
Datawhale AI冬令营（第一期）--零基础定制你的专属大模型

Datawhale AI冬令营（第一期）--零基础定制你的专属大模型

本文主要简述如何快速完成和一些小细节 第一步下载嬛嬛数据集 数据来源&#xff1a;self-llm/dataset/huanhuan.json at master datawhalechina/self-llm GitHub 注意:1.一定是数据集下载完成一定是.json结尾的 2.这个是github的网址&#xff0c;可能会遇到打不开的情况 …
阅读更多...
Android 车载虚拟化底层技术-Kernel 5.10 -Android12(multi-cards)技术实现

Android 车载虚拟化底层技术-Kernel 5.10 -Android12(multi-cards)技术实现

详细代码实现见 Android Display Graphics系列文章-汇总​​​​​​Android Display Graphics系列文章-汇总 Android Display Graphics系列文章-汇总 Android Display Graphics系列文章-汇总 本文主要包括部分&#xff1a; 一、Android12的Kernel 5.10版本 1.1 Kernel 5…
阅读更多...
qemu安装arm64架构银河麒麟

qemu安装arm64架构银河麒麟

qemu虚拟化软件&#xff0c;可以在一个平台上模拟另一个硬件平台&#xff0c;可以支持多种处理器架构。 一、安装 安装教程&#xff1a;https://blog.csdn.net/qq_36035382/article/details/125308044 下载链接&#xff1a;https://qemu.weilnetz.de/w64/2024/ 我下载的是 …
阅读更多...
前端入门之VUE--vue组件化编程

前端入门之VUE--vue组件化编程

前言 VUE是前端用的最多的框架&#xff1b;这篇文章是本人大一上学习前端的笔记&#xff1b;欢迎点赞 收藏 关注&#xff0c;本人将会持续更新。 文章目录 2、Vue组件化编程2.1、组件2.2、基本使用2.2.1、VueComponent 2、Vue组件化编程 2.1、组件 组件&#xff1a;用来实现…
阅读更多...
day08 接口测试（3）——postman工具使用

day08 接口测试（3）——postman工具使用

下载 postman 的历史版本&#xff1a;Postman 历史版本下载 - 简书 我自己根据我的电脑&#xff0c;安装的地址为&#xff1a;https://dl.pstmn.io/download/version/9.31.32/osx_64 今天开始学习 postman 这个测试工具啦。 【没有所谓的运气&#x1f36c;&#xff0c;只有绝…
阅读更多...
C++游戏开发探秘【3】

C++游戏开发探秘【3】

成长路上不孤单&#x1f60a;&#x1f60a;&#x1f60a;&#x1f60a;&#x1f60a;&#x1f60a; 【14后&#x1f60a;///计算机爱好者&#x1f60a;///持续分享所学&#x1f60a;///如有需要欢迎收藏转发///&#x1f60a;】 今日分享关于C游戏开发的相关内容&#xff01; …
阅读更多...
python基础：（七）类

python基础：（七）类

目录 一.创建和使用类二.使用类和实例2.1给属性指定默认值2.2修改属性的值2.2.1直接修改属性的值2.2.2通过方法修改属性的值2.2.3通过方法对属性的值进行递增 三.继承3.1子类的方法__init__()3.2给子类定义属性和方法3.3重写父类的方法 四.导入类4.1语法--1:4.2语法--2 前言 p…
阅读更多...
最新文章

Copyright @ 2022~2023