VC Spyglass CDC(三）与Spyglass CDC的区别

2024-06-03 22:34:11

VC Spyglass CDC

Synopsys Verification Continuum的静态验证平台VC static platform包含了VC LP，VC formal，VC Spyglass三种静态检查工具。Spyglass原是Atrenta旗下的静态检查工具，占据CDC/RDC sign-off工具的大部分市场份额。后来Synopsys收购了Atrenta，整合Spyglass推出了VC Spyglass。VC Spyglass作为Synopsys推出的期望继承Spyglass的新一代产品，兼容原有Spyglass的Use Mode，提供更高性能和更多功能，和PT/DC工具的命令兼容，采用Verdi的debug界面，加入Machine Learning，低误报，对Netlist/低功耗的支持等优势。

与Spyglass CDC的区别

VC Spyglass的时钟约束由sdc提供，和DC PT工具一样。而Spyglass的由sgdc提供。

sdc与sgdc在命令上有区别。sdc可以转化成sgdc的形式。

VC Spyglass也支持SpyGlass Use Model，可以吃进SpyGlass的工程文件进行CDC check，利于将过往项目往新工具上迁移。

VC Spyglass和DC类似，对于工具变量的配置都是使用set_app_var
VC Spyglass对CDC的检查分为四类，都是仅从结构上做检查
相同违例的上报归类为一种Tag，形式和Spyglass略有不同，具体rule的内容也有些差别。
VC Spyglass的GUI界面是VCst Activity View + Verdi，trace code/schematic 都是在Verdi中查看。

VC Spyglass可以参考DC的sdc创建，复用其中的一部分内容。
CDC工具只关心设计中哪些object属于哪些clock domain，提供了这些信息，就可以做check了。
set_false_path对于DC是忽略路径上的时序约束，而VC Spyglass则当作异步路径，做CDC check。

根据设计意图，添加约束

对于一些第三方golden模块，可以设置为黑盒，不做CDC检查。但是模块边界处需要指定clock domain的约束。VC Spyglass可以使用一系列attribute命令描述，相比Spyglass，可读性更强。

更多复杂的使用示例，参考

VC Spyglass CDC(三）与Spyglass CDC的区别相关推荐

【转载】CDC的那些事:CDC工程经验总结
转载自https://my.oschina.net/u/4579683/blog/4487378 这一篇老李给大家简单介绍一下工业界常用的CDC检查工具Spyglass,然后奉上CDC设计和验证中的工 ...
VC雕虫小技集(三)
VC雕虫小技集(三) 何志丹 1,固定窗口大小,最大值为(600,400),最小值也为(600,400). void CMainFrame::OnGetMinMaxInfo(MINMAXINFO FA ...
Flink系列之：Flink CDC深入了解MySQL CDC连接器
Flink系列之:Flink CDC深入了解MySQL CDC连接器一.增量快照特性 1.增量快照读取 2.并发读取 3.全量阶段支持 checkpoint 4.无锁算法 5.MySQL高可用性支持 ...
python学习之第三课时--基本数据类型及区别，变量
python学习之第三课时--基本数据类型及区别,变量基本数据类型及区别 1. 数字类型(int) 数字型--变量值直接是数字,没有双引号"" 整数 2. 浮点数(float ...
php中this,self,parent三个关键字之间的区别(转载)
PHP5是一具备了大部分面向对象语言的特性的语言,比PHP4有了很多的面向对象的特性,但是有部分概念也比较难以理解,这里我主要谈的是 this,self,parent三个关键字之间的区别.从字面上比 ...
draw.io二次开发（1）三种运行模式的区别
想尝试在开源的drawio的基础上做一些开发,实现自己的定制化需求.可能是因为这个工具已经非常完善了吧,找到的大部分都是教你如何使用,开发相关资料太少,看来只能靠自己了. 关于开发环境搭建,请先看这一 ...
分析Java中的三种不同变量的区别
1.首先分析Java中的三种不同变量的区别,如下表所示概念默认值其他类变量也叫静态变量,是类中独立于方法之外的变量用static 修饰有默认初始值,系统自动初始化. 如boolean ...
在PHP中数组有两种形式区别,PHP三种数组合并方式区别示例
PHP三种数组合并方式区别示例 PHP数组合并方式主要有三种: 1.+操作符 2.array_merge() 3.array_merge_recursive() 它们的区别主要体现在对于相同键名(数字 ...
VMWare学习总结（2）——VMware中三种网络连接的区别
1.概述大家在安装完虚拟机后,默认安装了如下图的两块虚拟网卡--VMnet1和VMnet8,其中VMnet1是host网卡,用于host方式连接网络:VMnet8是NAT网卡,用于NAT方式连接网络 ...

最新文章

热门文章