Spyglass:官方Hands-on Training(一)

相关阅读

Spyglasshttps://blog.csdn.net/weixin_45791458/category_12828934.html?spm=1001.2014.3001.5482


        本文是对Spyglass Hands-on Training中第一个实验的翻译(有删改),Lab文件可以从以下链接获取。Spyglass Hands-on Traininghttps://download.csdn.net/download/qq_43699362/85585058?ops_request_misc=%257B%2522request%255Fid%2522%253A%25225fb1922ab549e363d5c551d14bebd31a%2522%252C%2522scm%2522%253A%252220140713.130102334.pc%255Fdownload.%2522%257D&request_id=5fb1922ab549e363d5c551d14bebd31a&biz_id=1&utm_medium=distribute.pc_search_result.none-task-download-2~download~first_rank_ecpm_v1~rank_v31_ecpm-30-85585058-null-null.269^v2^control&utm_term=Spyglass%20Get%20Start&spm=1018.2226.3001.4451.31


        本教程提供了在多个设计阶段中运行SpyGlass的操作指导,旨在通过实操获得对SpyGlass设置及其结果调试/分析的深入理解,涵盖多个动手练习,每个练习之间是相互依赖的,需要按顺序完成。

实验概述

        图1展示了实验使用设计的模块框图。该设计包含一个USB控制器和一个音频解码器核心(IMA_ADPCM),使用Wishbone总线协议,这些模块通过Wishbone总线矩阵(WB_Connmax)相互连接,然后再通过Wishbone-to-AHB桥接模块(wb2ahb)连接至AMBA AHB总线。顺带一提,该设计是一个混合语言RTL设计,即同时使用Verilog和VHDL。

图1 设计框图

实验目录的内容

        教程目录包含以下子目录:

  • rtl:与设计相关的RTL文件
  • spyglass:实验的工作目录,所有SpyGlass的运行将在该目录下进行
  • doc:包含实验文档(即本手册)
  • tools:实验中会使用到的其他脚本

实验一、Spyglass概述

        实验一的目标是快速开始使用SpyGlass,在其中运行分析并查看结果。由于该案例将用于后续的多个实验,建议将实验一创建的项目文件保存以供以后使用。

        实验一中,为了简便使用图形用户界面(GUI)创建一个项目文件作为起点,之后的实验将继续使用该项目文件以批处理方式(Batch)进行操作。

将设计读入SpyGlass

1、进入名为spyglass的目录。

% cd Training_labs/spyglass

2、使用以下命令启动SpyGlass图形界面(SpyGlass Explorer):

% spyglass

        由于Spyglass是Synopsys收购自Atrenta,最初使用的GUI是Atrenta Console,但目前已经被新的SpyGlass Explorer替代,不再进行任何更新。感兴趣的读者可以通过添加-gui=console选项启动Atrenta Console。

3、此时你将看到以下的主界面窗口:

图1 SpyGlass Explorer

4、点击窗口左栏的Add File(s),打开名为Add File(s)的窗口,在该窗口中添加以下来自rtl目录的两个RTL文件,如图2所示。

rtl/ahb2wb.v  
rtl/wb_subsystem.v

图2 Add File(s)窗口

5、接着点击窗口左栏的Set Options,然后设置顶层设计模块为"wb_subsystem",如图3所示。

图3 设置顶层模块

6、现在选择Design Setup阶段下的Read Design,勾选Synthesize Netlist选项框并点击Run Design Read以启动设计读取(这其实是启动了一个名为Design_Read的目标)。一旦运行完成,就可以查看SpyGlass报告的设计读取错误,如图4所示。

图4 Design_Read的结果

        注意图4在Violations窗口选择Group By Severity,可以看出有三个来自ErrorAnalyzeBBox规则的错误,SpyGlass没有找到这些模块的定义,因此将其标记为黑盒(black box)。

        左边的实例窗口(Instances)使用不同颜色的文件形状标记状态:

  • 黄色:已综合的最底层实例。
  • 黑色:黑盒实例。
  • 绿色:未综合的最底层实例。

使用SpyGlass进行分析

1、选择Goal Setup阶段,并点击lint_rtl目标,使其绿色高亮,所选目标的用途可以在右边的Help窗口中查看,用于检查设计中的基本连接性问题,例如输入悬空、位宽不匹配等,如图5所示。为了简便,实验一只勾选这一个目标,如果有多个目标被勾选,它们将会顺序执行(顺带一提,lint_rtl目标是来自/Guideware/latest/block/rtl_handoff方法的lint子方法,Guideware是Spyglass提供的一些预设的检查参考)。

图5 选择目标

2、点击Run Goal(s),一旦运行完成,工具将自动跳转至Analyze Results阶段,还是在Violations窗口选择Group By Severity,可以看出除了之前的三个来自ErrorAnalyzeBBox规则的错误,多了三个InferLatch规则的错误,双击选中第一个规则,相关的RTL代码行将在上方的HDL查看器中被红色高亮显示,如图6所示。

图6 Lint的结果

        可以看出RTL代码中包含了不完整的if语句,这确实是导致Latch产生的原因,同时注意到三个InferLatch规则的左边有NAND门符号,这代表可以查看用于调试的原理图。可以使用快捷键I或者点击Violations窗口上的符号查看原理图,如图7所示。

图7 原理图

        可以看出hready信号综合成了一个锁存器,如果设计意图就是需要hready信号相对于选通信号stb_o被锁存,那么可以该规则进行豁免(waive);如果确实需要修复该问题,可以点击RTL代码行,并按下键盘上的快捷键e(或右键选择Open Editor选项),Spyglass会使用默认文本编辑器(Vim)打开RTL文件并将光标定位到该行,如果想更改默认文本编辑器,可以看下面的博客。

Spyglass:更改默认编辑器https://chenzhang.blog.csdn.net/article/details/143947206

3、保存项目文件,点击File选项栏下的Save Project,然后输入wb_subsystem作为文件名),并退出。

4、使用文本编辑器打开项目文件wb_subsystem.prj,如下所示。

#!SPYGLASS_PROJECT_FILE
#!VERSION 3.0
#  -------------------------------------------------------------------
#  This is a software generated project file. Manual edits to this file could be lost during the next save operation
#  Copyright Synopsys Inc.
#  Last Updated By: SpyGlass SpyGlass_vW-2024.09-SP1
#  Last Updated On Wed Apr 30 17:35:59 2025
#
#  -------------------------------------------------------------------##Data Import Sectionread_file -type verilog ../rtl/ahb2wb.v
#BackRefFile:/home/zhangchen/Training_labs/spyglass/wb_subsystem.prj #LineNumber:13
read_file -type verilog ../rtl/wb_subsystem.v
#BackRefFile:/home/zhangchen/Training_labs/spyglass/wb_subsystem.prj #LineNumber:15##Common Options Sectionset_option projectwdir .
set_option language_mode mixed
set_option designread_enable_synthesis yes
set_option designread_disable_flatten no
set_option top wb_subsystem
set_option active_methodology $SPYGLASS_HOME/GuideWare/latest/block/rtl_handoff##Goal Setup Sectioncurrent_methodology $SPYGLASS_HOME/GuideWare/latest/block/rtl_handoff

        可以看出,其中的Data Import Section包括了一些文件读取的命令,而Common Options Section包括了工作目录、语言模式、顶层设计和方法的设置。在实验二中,需要继续向项目文件中添加额外的命令和选项。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/diannao/81157.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

PCB设计工艺规范(三)走线要求

走线要求 1.走线要求2.固定孔、安装孔、过孔要求3.基准点要求4.丝印要求 1.走线要求 印制板距板边距离:V-CUT 边大于 0.75mm,铣槽边大于0.3mm。为了保证 PCB 加工时不出现露铜的缺陷,要求所有的走线及铜箔距离板边:V-CUT边大于 0.75mm,铣槽边…

抓取工具Charles配置教程(mac电脑+ios手机)

mac电脑上的配置 1. 下载最新版本的Charles 2. 按照以下截图进行配置 2.1 端口号配置: 2.2 https配置 3. mac端证书配置 4. IOS手机端网络配置 4.1 先查看电脑上的配置 4.2 配置手机网络 连接和电脑同一个wifi,然后按照以下截图进行配置 5. 手机端证书…

【CSS】精通Flex布局(全)

目录 1. flex布局体验 1.1 传统布局 与 flex布局 1.2 初体验 2. flex布局原理 2.1 布局原理 3. flex布局父项常见属性 3.1 常见父项属性 3.2 属性值 3.3 justify-content 设置主轴上的子元素排列方式 3.4 flex-wrap设置子元素是否换行 3.5 align-items 设置侧轴上的…

力扣第447场周赛

这次终于赶上力扣的周赛了, 赛时成绩如下(依旧还是三题 ): 1. 统计被覆盖的建筑 给你一个正整数 n,表示一个 n x n 的城市,同时给定一个二维数组 buildings,其中 buildings[i] [x, y] 表示位于坐标 [x, y] 的一个 唯一 建筑。 如…

AI中常用概念的理解

1. RAG(检索增强生成) 通俗理解:就像你写作业时,先查课本 / 百度找资料,再根据资料写答案,而不是纯靠记忆瞎编。 AI 模型(比如 ChatGPT)回答问题时,先去 “数据库 / 互联…

SQLServer多版本兼容Java方案和数据采集

Maven引入 <dependency><groupId>com.microsoft.sqlserver</groupId><artifactId>sqljdbc4</artifactId><version>4.0</version></dependency><dependency><groupId>net.sourceforge.jtds</groupId><ar…

【每日八股】复习 Redis Day4:线程模型

文章目录 复习 Redis Day4&#xff1a;线程模型介绍一下 Redis 的线程模型核心线程模型&#xff08;Redis 6.0 之前&#xff09;Redis 6.0 的多线程改进Redis 真的是单线程吗&#xff1f;Redis 的线程模型剖析 上一篇 Redis 的应用我今天才完成&#xff0c;因此明天一并复习 Re…

树莓派智能摄像头实战指南:基于TensorFlow Lite的端到端AI部署

引言&#xff1a;嵌入式AI的革新力量 在物联网与人工智能深度融合的今天&#xff0c;树莓派这一信用卡大小的计算机正在成为边缘计算的核心载体。本文将手把手教你打造一款基于TensorFlow Lite的低功耗智能监控设备&#xff0c;通过MobileNetV2模型实现实时物体检测&#xff0…

vs2019编译occ7.9.0时,出现fatal error C1060: compiler is out of heap space

问题描述 visual studio 2019编译opencascade 7.9.0时&#xff0c;出现编译错误 fatal error C1060: compiler is out of heap space 解决方案 修改vs2019并行编译的线程个数&#xff0c;默认是12个&#xff0c;我改成了4个&#xff0c;问题解决 Tools > Project and Sol…

vue跨域问题总结笔记

目录 一、Websocket跨域问题 1.nginx配置 2.VUE CLI代理 3.env.development配置 4.nginx日志 5.解决 一、解决跨域的几种常用方法 1.Vue CLI代理 2.JSONP 3.WebSocket 4.NGINX解决跨域问题 6.Java解决跨域 二、Vue跨域问题详解 1. 什么是跨域 2. 跨域的例子 3.…

数据结构篇:线性表的另一表达—链表之单链表(下篇)

目录 1.前言 2.是否使用二级指针 3.插入/删除 3.1 pos位置前/后插入 3.2 查找函数 3.3 pos位置删除 3.4 pos位置后面删除 3.5 函数的销毁 4.断言问题 4.1 断言pphead 4.2 断言*pphead 5.三个文件的代码 5.1 头文件 5.2 具体函数实现 5.3 测试用例 1.前言 之前是讲…

完美解决react-native文件直传阿里云oss问题一

前言 通常情况下&#xff0c;作为前后端分离的项目来说&#xff0c;文件上传是最寻常的功能之一。虽然每个公司选择的文件管理云库各不相同&#xff0c;但实现思路基本一致。我所在公司使用阿里云oss文件管理&#xff0c;之前服务端做了透传&#xff0c;但是由于每个测试环境的…

5.运输层

5. 运输层 1. 概述 第2~4章依次介绍了计算机网络体系结构中的物理层、数据链路层和网络层&#xff0c;它们共同解决了将主机通过异构网络互联起来所面临的问题&#xff0c;实现了主机到主机的通信然而在计算机网络中实际进行通信的真正实体&#xff0c;是位于通信两端主机中的…

告别手动时代!物联网软件开发让万物自动互联

清晨&#xff0c;智能窗帘随着阳光自动拉开&#xff1b;运动时&#xff0c;手表精准记录着健康数据&#xff1b;回到家&#xff0c;室温早已调节至最舒适状态...这些场景的实现&#xff0c;都离不开物联网软件开发的技术支撑。在智能家居软件开发、智能穿戴软件开发、医疗器械软…

Fiori学习专题十二:Shell Control as Container

为了让我们的app更加适应不同的设备&#xff0c;这节课我们引入shell控件作为根元素 1.修改App.view.xml&#xff0c;加入Shell控件 <mvc:ViewcontrollerName"ui5.walkthrough.controller.App"xmlns"sap.m"xmlns:mvc"sap.ui.core.mvc"displa…

AI 与高性能计算的深度融合:开启科技新纪元

在当今科技迅猛发展的时代&#xff0c;人工智能&#xff08;AI&#xff09;与高性能计算&#xff08;HPC&#xff09;正以前所未有的态势深度融合&#xff0c;这种融合宛如一场强大的风暴&#xff0c;席卷并重塑着众多领域的格局。从科学研究的突破到商业应用的革新&#xff0c…

「Unity3D」TextMeshPro使用TMP_InputField实现,输入框高度自动扩展与收缩

先看实现效果&#xff1a; 要实现这个效果&#xff0c;有三个方面的问题需要解决&#xff1a; 第一&#xff0c;输入框的高度扩展&#xff0c;内部子元素会随着锚点&#xff0c;拉伸变形——要解决这个问题&#xff0c;需要将内部元素改变父类&#xff0c;然后增加父类高度&am…

多模态大语言模型arxiv论文略读(四十七)

AdaShield: Safeguarding Multimodal Large Language Models from Structure-based Attack via Adaptive Shield Prompting ➡️ 论文标题&#xff1a;AdaShield: Safeguarding Multimodal Large Language Models from Structure-based Attack via Adaptive Shield Prompting …

美的人形机器人即将投入实际应用

国内家电巨头美的集团近日公布了其自主研发的人形机器人的具体落地计划。根据公司披露的信息&#xff0c;这款机器人将于5月在湖北荆州的洗衣机工厂率先投入使用&#xff0c;承担设备运维、质量检测和物料搬运等工作任务。预计今年下半年&#xff0c;该机器人还将进入美的线下门…

从零开始搭建你的个人博客:使用 GitHub Pages 免费部署静态网站

&#x1f310; 从零开始搭建你的个人博客&#xff1a;使用 GitHub Pages 免费部署静态网站 在互联网时代&#xff0c;拥有一个属于自己的网站不仅是一种展示方式&#xff0c;更是一种技术能力的体现。今天我们将一步步学习如何通过 GitHub Pages 搭建一个免费的个人博客或简历…