- SpyGlass 工具概述
- 在数字IC设计流程中的位置
- 安装与 License 配置
- GUI 界面介绍
- 创建与管理工程
- 导入 RTL 设计文件
- 设置设计顶层与库文件
- 什么是 Lint 检查
- Lint 检查的重要性
- SpyGlass Lint 流程概览
- Lint 规则分类
- 命名规范规则 (Naming)
- 时钟与复位规则
- 组合逻辑规则
- 时序逻辑规则
- 状态机规则 (FSM)
- 跨时钟域规则 (CDC)
- 仿真与综合一致性规则
- 可测试性规则 (DFT)
- 功耗规则 (Power)
- 使用 GUI 运行 Lint
- 命令行 (Tcl) 运行
- 设置检查范围与深度
- 选择规则集 (Rule Set)
- Violation Browser 使用
- 严重等级 (Error/Warning/Info)
- Violation 详细信息解读
- 按规则ID / 严重等级过滤
- 按模块/文件过滤
- 文本搜索 & 排序分组
- 导出 Violation 列表 (CSV/Text)
- 生成 HTML/PDF 报告
- 自定义报告模板
- 命名规范 Violation 修复
- 未使用信号/变量修复
- 未连接端口修复
- 组合逻辑环路修复
- 锁存器 (Latch) 推断修复
- 敏感列表不完整修复
- 时钟/复位相关问题修复
- 门控时钟 & 异步复位同步释放
- 多驱动 (Multiple Driver) 修复
- 状态机编码错误修复
- 不可达状态修复
- 状态机综合属性修复
- 跨时钟域同步器缺失修复
- CDC 路径误报处理
- FIFO 指针同步问题修复
- 仿真与综合不匹配修复
- 阻塞赋值与非阻塞赋值混用
- 可综合代码风格修复
- 什么是 Waiver
- Waiver 适用场景
- 创建 Waiver 文件 (.waiver)
- 优先级与作用域
- 基于正则表达式的 Waiver
- 基于模块/实例路径的 Waiver
- Waiver 版本管理
- SpyGlass Rule 语法基础
- 编写简单的自定义规则
- 编译与加载自定义规则
- Tcl 基础语法回顾
- 批量运行 Lint
- 脚本化结果解析与报告
- 与 Design Compiler 集成
- 与 VCS/NC-Sim 集成
- 与 Genus/Vivado 集成
- CDC 路径识别
- 同步器类型检查 (2FF/3FF/DMUX)
- CDC 路径约束设置
- 扫描链规则检查
- 测试时钟与复位规则
- BIST 规则检查
- 功耗估算方法
- RTL 级功耗优化建议
- 门控时钟检查
- Quality Metric 介绍
- 评分项解读 (可读性/可验证性/可综合性)
- 如何提升评分
- 小型模块 Lint 检查与修复
- FIFO、UART 全流程
- 中型模块 Lint 检查与修复
- SPI Master、I2C Slave 全流程
- SoC 顶层集成 Lint 检查
- CDC 检查全流程
- License / 内存不足问题
- 误报处理技巧
- 性能优化技巧
- Lint 检查流程总结
- 团队协作中的 Lint 规范
- 持续集成中的 Lint 检查
- 未来趋势与学习资源