3.在SpyGlass中指定修改过的autoclocks.sgdc 和 autoresets.sgdc文件,并通过运行相应的Goal来分析你的设计。 4.3.1 在生成的SGDC 文件中修改时钟域 默认情况下,autoclocks.sgdc文件中生成的clock 假定为一个单独的时钟域。在这种情况下,CDC Verification Rules 报告了对每对时钟信号之间的时钟域交叉的违例。 但是,...
■将autoclocks.sgdc和autoresets.sgdc复制到新的约束文件中,编辑一下以提供有效的时钟&复位源。将无关时钟复位的全部移除。 ■提供set_case_analysis约束来添加已知的case-analysis值,以分析想要分析的SpyGlass CDC分析case。 Generating Block-Level Constraints form SoC Level 可以从Spyglass CDC HIerarchical Verifica...
1.sgdc约束 clk constraint specification:可以用dc的sdc文件产生; reset constraint specification:用sgdc命令 reset -name <rst-name> [ -async | -sync ] [ -value 0 | 1 ] [ -soft ] [ -disable_sva ]; set_case_analysis :同DC; quasi_static(准静态信号,上电后几乎不变) : quasi_static -name...
指定constraints(SDC/SGDC file): 设置clocks,reset,set_case_analysis等.指定运⾏的options( set_option/set_goal_option): Top level module, System verilog, lib映射等 指定需要check的Rule( set_parameter) : 如设置参数Crossing 时组合逻辑允不允许 指定Goal(set_goal_option)SGDC 没有SGDC Constraint ⽂...
#set_case_analysis -name fsm.pi_money -value 0 (2)状态机分析 读取设计文件FSM_3.v和上面写好的约束文件spyglass.sgdc,设置顶层模块为FSM_3,然后点击“Goal Setup”,勾选“adv_lint_verify”,然后点击“Run Goal”,等待报告结果。 (3)查看状态机 如果设计没有问题,那么下方窗口显示如下,发现了存在状态机...
• "set_input_delay" • "set_output_delay" • "set_case_analysis" Note that any error in SDC file will result in empty SGDC file creation and halt of further translation or analysis. Furthermore, while translating SDC commands into SGDC commands, SpyGlass will perform existence and ...
1. Design Setup 把需要的design data准备好,包括网表.v(或者source file list),technology library,sgdc文件(没有的话可以用sdc代替,使用命令set_option sdc2sgdc yes即可) 2. Goal Setup 选择需要检查的Goal 右键编辑该Goal下面的各种rule,点击界面右下角会出现该条rule的解释 ...
Creating SpyGlass CDC Setup.Goal:cdc_setup;指定constraints(SGDC file),parameters 及其他指定用于该project的定义来精准运行SpyGlass CDC检查。可以使用‘sdc2sgdc’ 命令来将 block-level SDC 转化成相应的SGDC 约束文件。运行‘cdc_setup_check’ goal能够生成constraints, 但生成的constraint一定要designer仔细review下...
SGDC_set_case_analysis_validation01 Warning test.v 2320 2 simulated value '0' reaches to port 'txhcfc_en[3:0]' of block instance 'test.block_inst(block:'block') however no set_case_analysis is specified in block level constraint file ...
执行过后在sg_results/ip/cdc/cdc_setup/spyglass_reports/clock-reset目录下就会有spygass自动分析的clock、reset、set_case_analysis等文件:autoclocks.sgdc、autoresets.sgdc、auto_case_analysis.sgdc。这些文件也不一定完全正确,但可用作.sgdc文件的方便参考。