LEC learning9: verify step

formality flow 中当完成match step 后，就可以进行verify step ：

该命令用来证明和反驳reference 和implementation 中的design equivalence，特定的reference and implementation design，特定的compare point 或者user defined probe pairs。

status verify

[designID_1 designID_2] | 指定reference design and implementation design

[ [-inverted] 验证两个指定object inverse-equivalence

[-type ID_type] objectID_1 objectID_2] | 指定type 为cell,net,port,pin，object1,2 进行比较，type要一致

[ [-constant0 | -constant1] [ -type ID_type] objectID] |

[ [-type ID_type] objectID [-constant0 | -constant1] ] | 指定一个constant 0和1，用于check objectIDs 是0或者1。如果写在onjectID 前面，constant 考虑在reference上，写到后面是考虑到implementation

[-probe] | 当使用set_probe_points command 时，可以仅去验证probes points。在verify mode 下，probe verification 不更改和破坏当前的macth 和vefify results。

[-restart | -incremental] -restart放弃之前的验证结果，verify all compare points。与-incremental相反。

[-level integer] 假设仅保留了该级别或以上区块的功能边界, top is level 0, this default is no limit。如果知道某个模块边界在确定level 下的reference 和implementation 的function 不同，可以使用这个switch 改善verification performance

使用set_dont_verify 可以从verification 中排除一些verify point

verification_timeout_limit 设定一个时间，时间到达后，tool 退出

verification_failing_point_limit设定一个failing point ，当failing point 到达该值后，tool 退出

verification_effort_level [super_low | low | medium | high] 指定解决compare point 所花费的工作量，default is high。使用super_low会快速发现failing compare point ，但是也可能产生几个的aborted compare points。

LEC learning9: verify step相关推荐

Elasticsearch-7.x学习笔记
本文转载自:阅读原文文章目录 1. 单节点安装 2. ES安装head插件 3. Elasticsearch Rest基本操作 REST介绍 CURL创建索引库查询索引-GET DSL查询 MGE ...
Steps to configure Oracle 11g Data Guard Physical Standby – Active Data Guard Part-I
2019独角兽企业重金招聘Python工程师标准>>> Steps to configure Oracle 11g Data Guard Physical Standby – Act ...
Microsoft Azure Tutorial: Build your first movie inventory web app with just a few lines of code
Editor's Note: The following is a guest post from Mustafa Mahmutović, a Microsoft Student Partner wh ...
IAssemblyDoc Interface 学习笔记
允许访问执行装配操作的函数: 例如,添加新组件.添加配合条件.隐藏和爆炸组件. 属性 Name Description 备注 EnableAssemblyRebuild Gets or sets wh ...
c语言编程实现dsa算法,C语言实现DSA算法(不包括质数生成)
1.头文件部分 #include #include #include 2.判断大数是不是0或1 参见<C语言实现RSA算法> 3.大数加减乘除幂模参见<C语言实现RSA算法> ...
TOT(Tree of Thought) | GPT-4+dfs搜索算法提升大模型复杂问题解决能力
大家好,我是HxShine. 今天分享一篇普林斯顿大学的一篇文章,Tree of Thoughts: Deliberate Problem Solving with Large Language Mo ...
1.3 Quick Start中 Step 7: Use Kafka Connect to import/export data官网剖析（博主推荐）
不多说,直接上干货! 一切来源于官网 http://kafka.apache.org/documentation/ Step 7: Use Kafka Connect to import/export ...
GoFrame Step by Step Demo - P1
GoFrame Step by Step Demo P1 框架说明文档 GFTool 安装 Web框架学习文章目录 GoFrame Step by Step Demo P1 参考Demo 记录安装 ...
使用ES Rally出错：certificate verify failed: self signed certificate in certificate chain
本文为日志文... 使用ES对使用SSL加密的集群进行压测的时候,我们通常会使用--client-options选项,通过提供use_ssl:true,verify_certs:false的方式来避免 ...

LEC learning9: verify step

LEC learning9: verify step相关推荐

最新文章

热门文章