qq_58300166的博客

原创 SPYGLASS入门：lint和cdc

本文记录了使用Synopsys Spyglass工具进行RTL代码验证的过程。首先介绍了如何通过GUI界面添加文件、设置顶层模块并保存工程。详细说明了编译步骤及常见问题解决方法，如.sv文件解析和头文件路径设置。重点演示了Lint检查流程，包括结果查看和报告分析，并介绍了Waiver机制的使用方法。此外，还讲解了CDC检查所需的sgdc约束文件配置。最后提供了常用命令行操作，包括编译和运行特定检查目标的方法。文章为数字IC设计人员提供了Spyglass工具的基本使用指南。