spyglass笔记

介绍

下图为Spyglass的原理流程示意图：

图来自：SpyGlass_Console_Reference.pdf

Spyglass工具的五大功能： lint, CDC(多时钟域检查), LP（低功耗)，Constraint(约束)，DFT(可测试性)。

lint主要是检查代码的语法，是否是可综合的语言，cdc用于检查跨时钟路径信号是否有问题，以防止出现亚稳态，DFT主要是实现所有的flop clock和reset信号可控。

更多介绍

目的

spyglass lint可对Verilog, VHDL, SystemVerilog等语言进行RTL检查，包括

1）语法检查、代码风格、IP重用规则等

2）位宽不匹配、不完整的case语句，缺少默认条件，缺少else子句、由关系运算符或算术运算符导致的精度损失、缺少驱动

3）可综合性检查

4）仿真过程中可能出现的问题（竞争与冒险、时钟，选择，启用，复位信号设定为常量、未使用的逻辑门、浮空的引脚）

5）结构检查（组合逻辑环路、锁存器及三态输出、控制信号用作数据信号、扇出超过一定数量）

目前包含:SpyGlass Lint, CDC, RDC, DFT ADV, Power.