FIGURE 16. The quasi_static Debug Data Dialog 7.4 基于实例来过滤违例 在处理大型设计时,设计师会被分配特定的设计实例。在这种情况下,设计师需要关注特定实例中报告的违规情况。为了帮助设计人员快速定位特定实例上的违规,SpyGlass CDC提供了基于实例的过滤机制。在此机制中,设计人员可以基于实例筛选违规。 要基于实...
setup_quasi_static报告设计中spyglass推断出的准静态寄存器和约束脚本约束的静态寄存器。应仔细检查信号是否满足准静态寄存器的定义。如果信号被spyglass错误推断为准静态寄存器,那么当芯片工作时,该信号变化可能会引起功能出错。 回到顶部 CDC_verify检查 下面介绍CDC检查最后一个过程CDC_verify(functional cdc checks)。主要...
如果spyglass报出违例,但通过检查发现设计没有问题,可使用 cdc_false_path , quasi_static, cdc_filter_conherency等命令约束。 AC_conv02规则报告信号经过同步器后聚合违例,且聚合后又通过寄存器: 报告不同信号经过同步器后在同一个逻辑门处聚合问题 注意这里报告违例的地方与AC_conv01不同,仔细看两张图。一个是...
CDC验证是指在设计中检测CDC问题。 要执行CDC验证,请执行以下步骤: 设置所需的参数(parameters) 有关SpyGlass CDC解决方案的所有参数的详细信息,请参阅Parameters in SpyGlass CDC.。 运行Goals,例如cdc_verify和cdc_verify_struct,以检测大量的CDC问题。 最初你可能会发现大量违反CDC的情况。以一种系统的方式来处理...
1.读取已经abstract的IP文件,用于SOC_level的CDC check sgdc -import IP_name IP_abstract.sgdc(spyglass生成的描述IP连接关系,边界,clk、rst等信息的文件) 2.run cdc_verify_strct(SOC_level) 静态信号可以使用set_parameter num_quasi_seq_num -1 约束使得静态信号的传播深度变成无穷大(flip-flops) 3.result...
VC SpyGlass CDC offers low-noise clock domain crossing verification with comprehensive structural and functional analysis for reliable signoff.
Synopsys SpyGlass CDC provides comprehensive, low-noise clock domain crossing verification for design-and-debug CDC issues.
Quasi-static: Refers to flops that are taking constant value during regular operation of a design (they may change value during setup and initialization of the design; or may change value when a block powers on or power off, etc.). Often, quasi-static flops do not require synchronizers ...
执行cdc_setup_check、cdc_verify等检查，过滤违反cdc_false_path的约束，设置quasi-static处理静态寄存器。七、减少运行时间 考虑降低LCM精度以缩短运行时间，需谨慎操作。八、错误与解决方案 面对Error和Fatal错误时，可参考具体的错误代码进行对应解决，如检查license、路径设置、忽略规则等。九、知识点 理解...
对input设置合理的constraint。1. ⽤set_case_analysis来定义各种analysis condition，语法:set_case_analysis -name {<name>} -value <value> 2. ⽤quasi_static 来限定⼀些静态的input，可以skip掉许多不必要的路径检查。3. 设置design cell constraint: sync_cell, reset_synchronizer。