做CDC检查使用的是Spyglass工具。以下内容转载自:Spyglass之CDC检查(3) - 代码先锋网 (codeleading.com) 文章目录 Clock_info03a Clock_info05a/b Clock_info18 本篇文章主要介绍CDC检查第二个过程CDC_setup_check,有Clock_info03a, Clock_info05a/b以及Clock_info18检查项 Clock_info03a 报告设计中未被约束的时...
——CDC_setup_check,有Clock_info03a, Clock_info05a/b以及Clock_info18检查项 Clock_info01 报告设计中的时钟信号。spyglass可以识别出以下类型clock moduletop (d,q,clk1,sr):input[3:0]d;inputclk1, sr;output[3:0]q;reg[3:0]q:regclk3;wireclk2, clk4, w1; BB(clk1, clk2, w1);always@(...
CDC: Clock Domain Crossing, refers to a path connecting a sequential element/flop/primary input/black box controlled by one clock domain to another sequential element/flop/primary input/black box clocked by another clock domain. Synchronizer: Part of a design which ensures proper transfer of ...
CDC checks • Verify data integrity/loss • Verify gray encoding • Verify FIFO over/underflow • Verify handshake protocol Clock_info03a Clock_info05/a/b Clock_info18 Ac_unsync01/02 Ac_sync01/02 Ar_async* Clock_sync05/06 Ac_conv01/02/03 Setup_quasi_static Ac_glitch03 Ac_cdc...
跑cdc_setup_checkgoal来生成约束。此goal的Clock_info15rule来生成约束。在SpyGlass CDC验证中使用这些约束前需要检视这些约束。 Running the cdc_setup Goal 跑cdc_setupgoal 来生成设计中的时钟(clock约束)和复位(reset约束)。跑完这个Goal之后: ■检查报出的时钟和复位,理解设计的时钟结构。