spyglass 学习笔记之lint check

• 软件运行

界面如图：

 

---

文件添加与设置

 需要读入的文件

• rtl hdl files
• sgdc
• hdl libraries
• technology librares
• source list files

设置阶段的主要工作是：  

• 添加设计文件、SGDC文件、预编译文件和技术文件。
• 指定影响SpyGlass运行的各种设计读取选项。例如，你可以在设计中指定顶层模块、更改语言、指定宏等等。
• 运行design-read流程来执行第一级的HDL分析。
• 在进入下一阶段之前，必须解决此阶段报告的致命错误(FATAL)。
• 注意指定top时，指定模块名，不是文件名

sdc文件转sgdc如下：

目标（goal）设定和运行阶段

选择lint goal进行run，以下是检查目标等等

• 多驱动
• 组合逻辑产生的latch
• 输入悬空
• 跨时钟域的处理和同步
• 模块端口信号没有read,即无使用
• 信号多余没连
• 没有定义timescale，却使用#
• 移位寄存器过度移位导致数据丢失
• 数据位宽不匹配
• 组合逻辑和时序逻辑混写