使用Verdi理解RTL design

接触到一些RTL代码，在阅读与深入理解的过程中的一些思考记录

协议与设计框图

认真反复阅读理解相关协议与设计框图，一个design的设计文档中，设计框图展示了这个设计的核心框架，包括协议的整体框架、作者的设计思路和design的组成结构等。

  • 1.根据协议理解设计框图
  • 2.根据设计框图理解module
  • 3.根据设计框图初步追踪输入输出关键信号

理解Schematic及module间的关系

结合设计框图，使用Verdi的Schematic功能，整体理清各个module间的连接关系，各个module的数据交互关系。

擅用Trace功能

1.Driver
2.Load
3.Connectivity

4.Show Previous
5.Show Next

6.Show Previous in Hierarchy
7.Show Next in Hierarchy
8.Forward History
9.Backward History



细节请参考verdi的Verdi3.pdf手册

理解module划分

依据对RTL的分析与琢磨，信号的顺藤摸瓜与端口/module间的数据流动，深入体会这个module划分的深意。

代码风格与RTL基础模块

1.基本的Verilog语句块（assign/if-else/always/case）
2.组合逻辑
3.时序逻辑
4.FSM有限状态机阅读

边猜边仿真

1.可以依据端口输入输出及协议猜测RTL的大致意图。
2.根据设计文档的寄存器描述，使用Verdi追踪（trace）RTL。
2.结合仿真结果，追踪理解信号。

参考资料

[1]. verdi3.pdf(Verdi安装目录doc下)

使用Verdi理解RTL design的更多相关文章

  1. how to forget about delta cycles for RTL design

    A delta cycle is a VHDL construct used to makeVHDL, a concurrent language, executable on asequential ...

  2. Verdi如何编译design并打开

    HDL Source文件的编译 针对Verilog文件的编译: 使用vericom工具,将verilog source文件写入一个run.f中,如: system.v pram.v TopModule ...

  3. RTL 与 technology schematic的区别，包含概念与实例

    2013-06-25 16:40:45 下面是xilinx官网上的问答贴: http://china.xilinx.com/support/answers/41500.htm#solution The ...

  4. Android Design Support Library使用详解

    Android Design Support Library使用详解 Google在2015的IO大会上,给我们带来了更加详细的Material Design设计规范,同时,也给我们带来了全新的And ...

  5. scan design flow(二)

    在scan stitch之后,scan synthesis就已经完成, Scan extraction主要用来从scan design中extracing所有的instance,来保证scan cha ...

  6. scan design flow(一)

    一个典型的scan实现的flow: clock mux和一些rst,在Scan中都被bypass掉,是不能测到的.所以DFT的test coverage一般就在97%或98%. scan design ...

  7. 怎么知道RTL Schematic中的instance与哪段代码对应呢

    2013-06-23 20:15:47 ISE综合后可以看到RTL Schematic,但我们知道在RTL编码时,要经常问自己一个问题“我写的这段代码会综合成什么样的电路呢”.对于一个简单的设计,比如 ...

  8. ant design pro 当中改变ant design 组件的样式和 数据管理

    ant design pro 简介 官网简介 链接 https://pro.ant.design/docs/getting-started-cn 项目结构 https://github.com/ant ...

  9. [转]关于几本模拟IC设计书

    1.P.R.Gray的书 这本书被业界誉为模拟IC的Bible,盛名之下,必无虚士.现在已经出到第四版,作者无一例外是业界大牛,该书论述严谨,思路清晰,对电路分析透彻,定义严格明确,无愧Bible之名 ...

随机推荐

  1. python RESTful API框架:Eve 高速入门

    Eve是一款Python的REST API框架.用于公布高可定制的.全功能的RESTful的Web服务.帮你轻松创建和部署API,本文翻译自Eve官方站点: http://python-eve.org ...

  2. POJ 1101 The Game（BFS+判方向）

        The Game Description One morning, you wake up and think: "I am such a good programmer. Why ...

  3. 安装 VNC 和 XRDP

    安装 VNC 和 XRDPapt-get install vnc4server tightvncserver xrdp fluxbox xtermcat >vncstop.sh << ...

  4. android图像处理（3）底片效果

    这篇将讲到图片特效处理的底片效果.跟前面一样是对像素点进行处理,算法是通用的. 算法原理:将当前像素点的RGB值分别与255之差后的值作为当前点的RGB值. 例: ABC 求B点的底片效果: B.r ...

  5. 【agc009b】Tournament

    Description 一场锦标赛有n个人,总共举办n-1次比赛,每次比赛必定一赢一输,输者不能再参赛.也就是整个锦标赛呈一个二叉树形式.已知一号选手是最后的胜者,以及对于i号选手(i>1)都知 ...

  6. map（froeach改变值,map生成新数组）

    http://www.365mini.com/page/jquery-map.htm <input id="n1" name="uid" type=&qu ...

  7. LAN8720A网络模块的使用问题

    一.LAN8720A模块驱动电路 最近在调试STM32F4驱动LAN8720A网络模块,在做方案前参考是正点原子的LAN8720A的驱动电路方案,但是从网上买回来的LAN8720A模块用正点原子的例程 ...

  8. C++ 与C# 对应的变量互转

    一.C++ 与C# 对应的变量互转的使用实例 C++的动态链接库的函数: C# 调用C++动态链接库数据类型的转换,其中在C++中数据类型为char *,在C#中对应的数据类型为intPtr. 二.常 ...

  9. 【习题 7-7 UVA-12558】Egyptian Fractions (HARD version)

    [链接] 我是链接,点我呀:) [题意] 在这里输入题意 [题解] 迭代加深搜索. 枚举最大量maxdep 在dfs里面传剩余的要凑的分子.分母 以及上一次枚举的值是多少. 然后找到最小的k,满足1/ ...

  10. asp.net 查询sql数据表的网页模板

    最近因为工作需求,要制作一个网页模板,主要是用于快速开发,可以查询Sql数据表信息的模板, 昨天做好了,这个只是一个Demo,但是功能已经齐全了, 开发新的网站时,需要新增一个xml,复制粘贴网页的前 ...