SpyGlass lint check

于 2023-12-13 15:04:11 发布
阅读量505 收藏 9
点赞数 8
分类专栏： # lint SpyGlass CDC Questa_CDC SoC/ASIC设计原理 文章标签： 硬件架构
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/qq_43053845/article/details/134972680
版权

SpyGlass lint check

Lint Check

  • Design Setup

    • Setup the design for analysis

  • Goal Setup

    • Setup goals and execute analysis

  • Analyze Results

    • Review results and debug

  • Errors fix

    • you can either choose to make changes in the RTL/setup after each section and rerun goal to confirm the fixes or make all the changes and then rerun goal to validate the result.
【IC前端虚拟项目】spyglass lint环境组织与lint清理
moon9999的博客
04-07 1273
和上个虚拟项目的lint清理环节一样，关于spyglass的lint清理功能与流程还是大家通过各种资料去学习下就好啦。和之前不同的事，这次的虚拟项目里我把流程封装为Makefile，更加的贴近了实际项目交付流程。而后就可以根据提示进行lint的清理工作了。
spyglass笔记
jerwey的博客
12-29 4647
spyglass lint
spyglass lint sdc 简单脚本.tcl
09-26
spyglass 流程脚本， 本脚本仅应用与 lint 检查， sdc 检查。 楼主认为，spyglass的使用 还是最后呼叫gui， 来分析问题比较直观。 如有问题请大胆提出来
spyglass 学习笔记之lint check
ltfysa的博客
08-11 3102
lint check
使用VC SpyGlass Lint对RTL代码进行预综合
qq_36480087的博客
04-14 5282
预综合过程主要由VC SpyGlass Lint中集成的VC Static Platform完成。 准备文件： 待综合的.v文件（top.v） 步骤： 设置环境变量$VC_STATIC_HOME 如下 setenv VC_STATIC_HOME <installation_directory> set path = ($VC_STATIC_HOME/bin $path) 以命令行方式启动软件 % $VC_STATIC_HOME/bin/vc_static_shell 在命令行窗口中
SpyGlass工具介绍——可进行sdc检查
seu他山之石的博客
07-16 8719
SpyGlass主要有五个功能： 一款针对verilog的工具 1.lint检查 2.CDC检查：跨时钟域检查 3.LowPower 4.约束Constraint检查 5.DFT检查 1.lint检查 检查verilog代码的语法和可综合性 2.CDC检查：跨时钟域检查 识别各种FIFO和握手信号 3.LowPower 在未进行DC和PR之前对verilog进行功耗分析 4.约束Constraint检查 验证SDC文件的正确性 5.DFT检查 测试ATPG的覆盖率分析 ...
【SpyGlass Lint 版本控制策略】：规则变更历史的管理之道
![SpyGlass Lint 规则参考](https://curity.io/images/resources/tutorials/configuration/devops-dashboard/user-access-levels.jpg) 参考资源链接：[SpyGlass Lint Rules ...SpyGlass Lint是一个先进的静态代
【SpyGlass Lint 规则自主掌控】：创建与项目完美匹配的规则集
[【SpyGlass Lint 规则自主掌控】：创建与项目完美匹配的规则集](https://img-blog.csdnimg.cn/20200423105703859.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9...
【SpyGlass Lint 调试专家】：快速定位问题规则并有效修复的策略
[【SpyGlass Lint 调试专家】：快速定位问题规则并有效修复的策略](https://img-blog.csdnimg.cn/20200423105703859.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9...
【SpyGlass Lint 精进之道】：提升代码质量的三大规则集策略
[SpyGlass Lint 规则参考](https://img-blog.csdnimg.cn/20200423105703859.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2N5NDEzMDI2,size_16,color_...
spyglass 使用讲解
04-09
用于IC开发设计中，进行spyglas对硬件代码检查错误，包含cdc和lint错误，特别是cdc跨时钟的语法检测，极为有用
工具使用——Spyglass lint学习
kammy0112的专栏
08-09 1万+
spyglass
spyglass的学习步骤
学而不思则罔，思而不学则殆
10-27 2万+
cdc的原理介绍 spyglass cdc的流程分析 spyglass脚本 spyglass基于某个工程分析report的各种情况 其它 讲解应该基于图片解释 网上有很多资料要选最流行的讲义作为基础 不理解的地方圈注起来最近工程流片后，有些缓冲时间，可以完善项目流程，提高项目的认知深度。 听从领导安排，接了一个任务，给大家讲解spyglass在项目中该怎么用。 自学了一段时间了，但是不觉得能够很
SpyGlass工具介绍
focus357的博客
02-20 7753
数字电路设计的流程里面有两个”不起眼“的步骤，LINT和CDC。 其中LINT尤其没有存在感。LINT和CDC其实是两个不同的东西，但是从功能上他们有时候会指向相同的问题，也就是说有重叠的部分，所以经常会放在一起做。在candence的工具里面，LINT/CDC是放在LEC这个大工具下面，而在synopsis的工具里面，是放在spyglass下面。 LINT 英文里LINT是线头，起这个名字的人大概是把芯片设计类比成衣服的制造——我们知道，线头的多少通常是衣服质量好坏的直观反映，所以做衣服有个一步骤就是剪线
ubuntu14.04安装pt-2012.12 / icc-2013.03 / spyglass-4.4.0过程记录
steven_yan_2014的专栏
02-07 5177
0.pt为synopsys公司推出的静态时序分析工具, icc为synopsys公司推出的APR(auto place/route)工具, spyglass为atrenta公司推出的RTL设计规则检查工具,可以用于LINT和CDC检查, 参考网上的帖子, 安装了这三款软件, 先记录过程, 留作以后查看, 如果对您有一些帮助, 倍感欣慰! 1.安装源文件 >pt-2012.12: http
What's SpyGlass?
druidfly的专栏
11-02 1536
五大模块： Lint, CDC(多时钟域检查), LP（低功耗)，Constraint(约束)，DFT(可测试性)。 基本功能为Lint, 类似于Leda。CDC, LP, Constraint, DFT为新增。 SpyGlass还提供了四个功能强大的选项： （一）SpyGlass CDC提供了业界最完整的多时钟域解决方案，能自动识别各种同步手段（包括HandShake,FIFO），能采用F...
spyglass的使用问题总结及一些option选项-工具（九）
Paul 安的博客
04-03 2万+
总结spyglass使用过程中出现的问题，总结使用步骤供参考，实践出真知，解决问题就是好方法。
快速上手SpyGlass——基本流程
沧海一升的博客
01-17 2万+
快速上手spyglass
Synopsys SpyGlass CDC 学习 (一)
热门推荐
wonder_coole的博客
03-13 3万+
原创声明http://blog.youkuaiyun.com/wonder_coole/article/details/79542241，本博客所有文章均同步发表于www.mx1980.cn/blog SpyGlass工具简介 目前包含:SpyGlass Lint, CDC, RDC, DFT ADV, Power. 是业界RTL Signoff 的重要工具. SpyGlass 的一些...
SpyGlass怎么用
最新发布
04-29
<think>好的，我现在需要帮助用户解决关于如何使用SpyGlass工具来解决“assignment expression”在综合中不被支持的问题。用户之前已经询问过相关问题，现在需要具体的教程和配置方法。 首先，回顾之前的对话，用户提到在综合过程中遇到赋值表达式不被支持的问题，我之前的回答分析了原因并给出了解决方案，包括使用SpyGlass进行预综合检查。现在用户需要更详细的SpyGlass使用步骤，特别是如何配置来解决这个问题。 接下来，我需要参考用户提供的引用内容。引用[1]提到了SpyGlass的lint脚本执行步骤，这应该和运行SpyGlass检查有关。引用[2]和[3]讨论了综合时的X态和非阻塞赋值的问题，但用户当前的问题更关注SpyGlass的具体使用，所以主要参考引用[1]的脚本执行流程。 我需要确保回答结构清晰，符合用户的要求，分步骤说明如何使用SpyGlass，并针对assignment expression的问题进行配置。需要包括环境设置、项目配置、检查规则、运行脚本、结果分析等步骤。同时，要结合之前的解决方案，比如如何修改代码结构，避免赋值表达式，并在SpyGlass中启用相关规则。 另外，用户可能需要知道如何编写SpyGlass的Tcl脚本，如sg_lint.tcl，以及如何添加规则集。要确保提到的步骤具体，比如设置AssignmentStyle规则，并解释每个步骤的作用，例如使用Waive选项忽略其他警告，专注当前问题。 还需要注意用户可能的深层需求，比如如何集成SpyGlass到现有开发流程中，或者如何解读报告中的具体错误，因此需要提供分析报告的方法和优化建议。 最后，生成的相关问题要围绕SpyGlass的高级配置、其他常见问题以及与其他工具的对比，帮助用户进一步学习。</think>根据您提出的“assignment expression”综合问题及SpyGlass应用需求，以下是结合工程实践的分步指南（重点参考引用[1][3]）： ### SpyGlass配置与“assignment expression”检测流程 --- #### 一、环境配置（基于引用[1]脚本框架） ```bash # 进入EDA环境（示例路径） cd /home/xxx/chip/eda_test source SourceMe # 加载SpyGlass环境变量 cd 03_lint # 进入检查目录 ``` #### 二、项目初始化 1. **创建SpyGlass项目** ```tcl # sg_lint.tcl 核心配置 set_parameter handle_assignment_expression yes # 启用赋值表达式检测 read_file -type sourcelist ../rtl/filelist.f # 加载设计文件列表 set_option enableSV yes # 启用SystemVerilog支持 ``` 2. **关键规则配置** ```tcl # 启用赋值表达式检测规则 set_goal ctrl/lint/lint_rtl add_rule -group "Assignment Check" { AssignInCondition # 检测条件语句中的赋值操作 ProceduralAssignment # 检查过程赋值类型 } ``` #### 三、违规检测专项配置 1. **错误类型映射** | SpyGlass告警代码 | 对应问题类型 | 严重等级 | |-----------------|-------------------------|--------| | W_ACOND | 条件语句中存在赋值表达式 | High | | W_BLOCKREG | 阻塞赋值潜在风险 | Medium | 2. **抑制非相关告警** ```tcl # 在sg_lint.tcl中添加过滤 set_waive -rule W_UNDRIVEN -module * # 忽略未驱动信号告警 ``` #### 四、运行检测与分析 1. **执行检查脚本** ```bash spyglass -project sg_lint -batch -tcl sg_lint.tcl | tee sg_lint.log ``` 2. **结果解读步骤： 1. 打开SpyGlass GUI ```bash spyglass -project sg_lint & ``` 2. 导航到"Results Browser"窗口 3. 筛选`W_ACOND`类型告警 ``` Filter: [Rule Name] == "AssignInCondition" ``` #### 五、典型问题修复（结合引用[3]） **原始违规代码**： ```verilog always @(*) begin if ((enable = 1'b1) && (data > 8'hA0)) // SpyGlass标记W_ACOND out <= data; end ``` **修正方案**： ```verilog always @(*) begin reg en_reg; en_reg = enable; // 分离赋值与判断 if (en_reg && (data > 8'hA0)) out <= data; end ``` #### 六、进阶配置建议 1. **规则集定制** ```tcl # 创建自定义规则文件lint_assign.cfg rule AssignInCondition { description "Detect assignment in conditional expressions" pattern "if(\s*.*=.*)" severity ERROR } ``` 2. **与综合工具联动** ```tcl # 在DC综合脚本中添加约束 set_svf -enable write_checkpoint -assignment_expresssion_analysis ``` ### 关键问题解决路径 --- ```mermaid graph TD A[SpyGlass检测到W_ACOND] --> B{确认是否为真实违规} B -->|是| C[代码重构分离赋值与判断] B -->|否| D[添加waive注释] C --> E[重新运行SpyGlass验证] D --> E E --> F{是否消除告警} F -->|是| G[提交代码修改] F -->|否| H[启用更严格检测模式] ```
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值