spyglass 学习笔记之lint check

  • 软件运行

界面如图:

spyglass 学习笔记之lint check_第1张图片

 


文件添加与设置

 需要读入的文件

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

设置阶段的主要工作是:  

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

sdc文件转sgdc如下:

spyglass 学习笔记之lint check_第2张图片

目标(goal)设定和运行阶段

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

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

你可能感兴趣的:(数字设计,学习)