数字集成电路设计（五、仿真验证与 Testbench 编写）（四）

news2024/11/27 20:23:23

  • 文章目录

    • 7. 用户自定义元件模型
      • 7.1 UDP应用实例
    • 8. 基本门级元件和模块的延时建模
      • 8.1 门级延迟建模
        • 8.1.1 门级延迟的基本延迟表达形式
        • 8.1.2 门级延迟的最小、典型、最大延迟表达形式
        • 8.1.3 例子用VerilogHDL建立图5.8-1 模块D的延迟仿真模块
      • 8.2 模块延迟建模
        • 8.2.1 延迟说明块 Specify Block
        • 8.2.2 路径延迟描述方式
      • 8.3 与时序检查相关的系统任务

7. 用户自定义元件模型

  • ！！！！现在UDP用的很少，几乎不用了，但是它是作为Verilog HDL 的一个点，还是依然存在，主要是了解一下

  • Verilog HDL 语言提供了一种扩展基元的方法，允许用户自己定义元件(User DefinedPrimitives，UDP)。通过 UDP，可以把一块组合逻辑电路或时序逻辑电路封装在一个 UDP内，并把这个 UDP 作为一个基本门元件来使用。需要注意的是，UDP 不能综合，只能用于仿真。
    在这里插入图片描述

  • UDP实际上就是查表的方式

  • 函数和任务是一定要放在模块内部的，而UDP不是放在里面，它和模块是等同的一个概念

  • 我们在做设计的时候经常会采用真值表的方式，对于模块来说我们用的是模块名，然后是case语句，这一点和UDP也不同

  • UDP的特点
    （1）UDP的输出端口只能有一个，且必须位于端口列表的第一项。只有输出端口能定义为reg类型。
    （2）UDP的输入端口可有多个，一般时序电路UDP的输入端口最多9个,合电路UDP的输入端口可多至10个。
    （3）所有端口变量的位宽必须是1比特。
    （4）在 table 表项中，只能出现0、1、x这三种状态，z将被认为是x状态。

  • 调用
    在这里插入图片描述

  • 因为可综合逻辑设计可以完全替代primitive，所以用的很少了
    在这里插入图片描述

    7.1 UDP应用实例

    1. 组合电路UDP应用实例
      在这里插入图片描述
  1. 时序电路UDP元件
    在这里插入图片描述
  2. 混合电路UDP元件
    在这里插入图片描述在这里插入图片描述
  • ！！非常混乱，而且也只是仿真，用的人很少

8. 基本门级元件和模块的延时建模

  • 这是一个非常重要的概念，集成电路一定是会有延迟的

8.1 门级延迟建模

  • 门级延迟分为四类
    （1）上升延迟：表示信号由0、x或z状态变化到1状态时受到的门传输延迟
    （2）下降延迟：表示信号由 1、x或z状态变化到0状态时受到的门传输延迟
    （3）到不定态的延迟：表示信号由01或z态变化到x状态时受到的门传输延迟（只在仿真有意义）
    （4）截止延迟：表示信号由 0、1或x状态变化到z状态时受到的门传输延迟

8.1.1 门级延迟的基本延迟表达形式

  • 在门级延迟的基本表达形式下，delay 内可以包含0~3个延迟值，表 5.8-1 给出了指定的不同延迟值个数时 delay 的4种表示形式
    在这里插入图片描述
  1. 当delay 没有指定门延迟值时，默认的延迟值为 0。这意味着元件实例的“上升延迟值”、“下降延迟值”、“截止延迟值”和“到不定态的延迟值”均为0。
    在这里插入图片描述
    例中，门级延迟值为0，因为没有定义延迟，所以元件实例 U0的“上升延迟值”、“下降延迟值”、“截止延迟值”和“到不定态的延迟值”均为0。
  2. 当 delay 内只包含1个延迟值时，给定的延迟值d将同时代表着元件实例的“上升延迟值”、“下降延迟值”、“截止延迟值”和“到不定态的延迟值”。
    在这里插入图片描述
    例中，门级延迟值为 20，且只包含 1 个延迟值，说明元件实例 1 所有类型的门级延迟都是 20个单位时间。
  3. 当delay 内包含了2个延迟值时，元件实例的“上升延迟值”由给定的d1指定，“下降延迟值”由给定的d2 指定，而“截止延迟值”和“到不定态的延迟值”将由d1和d2中的最小值指定。
    在这里插入图片描述
    例中，门级延迟值为（10，20），包含了2个延迟值 10和20，这表明元件实例U2 将具有10个单位时间的“上升延迟”和 20 个单位时间的“下降延迟”，而它的“截止延迟”和“到不定态的延迟”将由 10和20 中的最小值指定，即10个单位时间。
  4. 当 delay 内包含了3 个延迟值时，元件实例的“上升延迟值”由给定的 dA 指定“下降延迟值”由给定的dB 指定，“截止延迟值”由给定的dC 指定，而它的“到不定态的延迟值”将由 dA、dB 和 dC 中的最小值指定。
    在这里插入图片描述
    例中，门级延迟值为(10.2030)，包含了3个延迟值 10、20和30，这表明元实例U3具有10个单位时间的“上升延迟”、20个单位时间的“下降延迟”和30个单位时间的“截止延迟”，而它的“到不定态的延迟”将由 10、20 和 30 中的最小值指定，即 10个单位时间
  • ！！这个概念可以对一个元器件的延迟进行一个非常完整清楚的描述

8.1.2 门级延迟的最小、典型、最大延迟表达形式

  • ！！所有的东西不可能完全一样，虽然集成电路在纳米级的差异已经非常小了，但是我们要承认所有生产出来的东西都有差异
  • ！！在所有的参考手册都有一个值，对所有的信号参量它不会告诉你一个准确的值，因为世界上就没有一个准确的值，对于电子产品他会怎么样表示一个参数呢？他会采用最小、典型、最大，语法格式如下：
    在这里插入图片描述
  • 采用“最小、典型、最大”延迟表达形式时，delay 内可以包含 1~3 个延迟值
    在这里插入图片描述
  1. 例1：
    在这里插入图片描述
    其中，delay 中只包含 1 个延迟值，其最小值为 4、典型值为 5、最大值为 6。元件实例 U1的“上升延迟值”、“下降延迟值”、“截止延迟值”和“到不定态的延迟值”如表 5.8-2所示。
    在这里插入图片描述
  2. 例2：
    在这里插入图片描述
    其中，delay 中包含了2个延迟值，第一个延迟值的最小值为 3、典型值为 4、最大值为5,第二个延迟值的最小值为 5、典型值为 6、最大值为 7。元件实例 U2 的“上升延迟值”由第一个延迟值指定，“下降延迟值”由第二个延迟值指定，“到不定态的延迟值”和“截止延迟值”均由两个延迟值中的最小值指定。各值的取值情况如表 5.8-3 所示
    在这里插入图片描述
  3. 例3：
    在这里插入图片描述
    其中，delay 中包含了3 个延迟值，第一个延迟值的最小值为 2、典型值为 3、最大值为4,第二个延迟值的最小值为 3、典型值为 4、最大值为 5，第三个延迟值的最小值为 4、典型值为5最大值为6元件实例 U3 的“上升延迟值”由第一个延迟值指定，“下降延迟值由第二个延迟值指定，“截止延迟值”由第三个延迟值指定，而它的“到不定态的延迟值”由二个延迟值中的最小值指定。各值的取值情况如表 5.8-4 所示
    在这里插入图片描述

8.1.3 例子用VerilogHDL建立图5.8-1 模块D的延迟仿真模块

在这里插入图片描述

  • 图 5.8-1 逻辑电路的功能是 out =(a*b)+ c。
  • 其门级实现如图所示，其中包含了一个延迟时间为 5 个单位时间的与门和一个延迟时间为 4个单位时间的或门
    在这里插入图片描述在这里插入图片描述
  • 信号输出
    在这里插入图片描述

8.2 模块延迟建模

  • 对于由用户自己定义设计的模块，可以采用“加入门级延迟说明”的办法，通过“延迟说明块(Specify Block)”的结构来对模块的传输延迟进行说明。注意，延迟说明块既可以出现在行为描述模块内，也可以出现在结构描述模块内。

8.2.1 延迟说明块 Specify Block

  • 在模块输入和输出引脚之间的延迟称为模块路径延迟
  • specify块包含下列操作语句：
    （1）定义穿过模块的所有路径延迟（主要作用）
    （2）在电路中设置时序检查（主要作用）
    （3）定义specparam 常量（特殊性）
  • 举例：以图5.8-3为例，用specify 块来描述图中M模块的路径延迟
    在这里插入图片描述
    在这里插入图片描述在这里插入图片描述
  • 可以看到specify语句是嵌套在模块内部的
  • 问题：有什么作用呢？
  • ！！器件的延迟是固有的，但是在仿真过程中（功能仿真，网表仿真，时序仿真），对于结构的电路的仿真，我们是从整个的过程中有一个定义的，如果加不上这样的延迟，所有的电路级的仿真都会在模能两可的状态下进行。如果加上这样一个延迟就表征了我们怎样在电路设计的初始阶段就能够保证时序的这样的要求，这实际上是一个非常高档的方式。这个做好很困难，但是集成电路有一个出发点，任何流片之前的仿真和测试，大家都喜欢投入更多的精力去做，因为问题发现在萌芽阶段成本就会低

8.2.2 路径延迟描述方式

  1. 并行连接
    在specify 块中，用符号“=>”说明并行连接，其语法格式如下
    在这里插入图片描述
    其中，<delay_value>可以包含 1-3 个延迟量，也可以采用“最小、典型、最大”延迟表达形式，和刚刚讲的方式完全一样。在延迟量由多个值组成的情况下，应在延迟量的外面加上一对括号
    在这里插入图片描述
    表示的是输入 a 到输出b的最小、典型和最大延分别是 8910个时间单位
    在这里插入图片描述
    在并行连接中，源域中的每一位与目标域中相应的位连接。如果源域和目标域是向量必须有相同的位数，否则会出现不匹配。因此，并行连接说g明了源域的每一位到目标域的每一位之间的延迟。
    在这里插入图片描述

  2. 全连接
    在这里插入图片描述
    source_field是源域，destination_field是目标域，*>表示全连接
    在这里插入图片描述
    在这里插入图片描述

  • 该例描述了四条全连接的路径延迟，其中定义了端口a和端口b到端口 out 的路径延迟为9个时间单位，端口c和端口d到端口out的路径延迟为 11个时间单位

  • ！！需要注意如果是并行连接，前后两个的bit位数应该相同。如果采用全连接，表示的是一组线，这时任何信号位宽不一样都可以

  1. spacparam 声明语句
    specparam 用来定义specify 块中的参数，参数是可以用来简化程序修改的过程（希望只改变参数）
    在这里插入图片描述
  • 和parameter的区别（实际上是完全不同）
    （1）specparam语句只能在延迟说明块(specify 块)中出现，而 parameter 语句则不能在延迟说明块内出现。
    （2）由specparam 语进行定义的参数只能是延迟参数，而由 parameter 语句定义的参数可以是任何数据类型的常数参数。
    （3）由specparam 语定义的延迟参数只能在延迟说明块内使用，而parameter 语句定义的参数则可以在模块内的任意位置处使用。

8.3 与时序检查相关的系统任务

  • Verilog HDL提供了系统任务来进行时序检查，该类任务很多，表 5.8-5 列举了部分与时序检查相关的系统任务。
  • ！！对于测试方法，有一种自动测试，当出问题的时候，我才会对这个参数进行说明。对于时序来说，最好的方式就是出了问题提示，不出问题就不提示，这是在仿真中追求的最好的一种测试方式，叫做自动测试。但是怎么进行自动测试，硬件描述语言给出了一些系统任务，这些不能说覆盖了所有自动测试，但是对于时序出现问题的地方一定会给提示说明
    在这里插入图片描述
  • 如果要写这个，一定要在模块中的specify语句中定义

  1. setup
    建立时间检查可以使用系统任务$setup。
    在这里插入图片描述
    举例：
    在这里插入图片描述
    该程序的功能是建立时间检查，clock 为参考信号，data 是被检查的信号，如果time_posedge_clock - time data<3，则报告违反约束

  2. hold
    保持时间检查可以使用系统任务Shold
    在这里插入图片描述
    举例：
    在这里插入图片描述

  • ！！关于建立时间和保持时间可以看我的数电博客https://blog.csdn.net/y_u_yu_yu_/article/details/127641915
  • ！！！！对于高速电路，在时序上可能出问题的是建立时间还是保持时间？建立时间，建立时间速度快，时间压缩的非常短，所以当时间有要求的时候，建立时间是很困难的。所以以后在设计高速电路时，要面对的绝大多数问题都是建立时间不够。什么时候是保持时间不够的，是在信号变化非常长的时候，信号有可能在时钟没到来时掉下来，比如用的22nm的工艺，明明可以做到几个G的频率，但是非要做一个50M的信号，这时候信号变化要比时钟变化要快，所以这时候一定是保持时间，所以在超低功耗等器件的时候要注意考虑保持时间

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

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

数据分析和可视化必备的几大软件，你用过几个？

数据分析和可视化必备的几大软件，你用过几个？

本文主要是面向数据分析初学者&#xff0c;因此分享的基本是一些免编程的可视化工具&#xff0c;详细介绍了7款工具&#xff0c;推荐大家使用&#xff0c;主要是让初学数据分析的朋友知道可视化工具大概有哪些、流行的有哪些。 Power BI Power BI是微软开发的商业分析工具。用户…
阅读更多...
LeetCode 91 双周赛

LeetCode 91 双周赛

2465. 不同的平均值数目 给你一个下标从 0 开始长度为 偶数 的整数数组 nums 。 只要 nums 不是 空数组&#xff0c;你就重复执行以下步骤&#xff1a; 找到 nums 中的最小值&#xff0c;并删除它。找到 nums 中的最大值&#xff0c;并删除它。计算删除两数的平均值。 两数…
阅读更多...
mysql InnooDb存储引擎的体系结构和逻辑存储结构

mysql InnooDb存储引擎的体系结构和逻辑存储结构

前言 这是一篇理论性比较强的文章&#xff0c;是不是很多人一听理论性的东西&#xff0c;就被劝退了&#xff1f;可千万别。其实分享内容非常简单&#xff0c;也非常干&#xff0c;相信你会喜欢的&#xff0c;对你也是有帮助的。切入正题&#xff0c;mysql的体系结构可以作为一…
阅读更多...
机理类模型的建模思路｜2021年亚太赛B题｜2022备赛｜前景目标提取

机理类模型的建模思路｜2021年亚太赛B题｜2022备赛｜前景目标提取

目录 一、 前景目标提取问题 1.背景目标和前景目标提取 2.问题一 2.2问题一求解 3.问题二 4.问题三 5.问题四 6.问题五​ 7.问题六 8.矩阵范数 二、前景目标提取——机理总结 三、编程实现 一、 前景目标提取问题 1.背景目标和前景目标提取 不动 & 动 视…
阅读更多...
redis集群

redis集群

Redis集群在保证主从加哨兵的基本功能之外&#xff0c;还能够提升Redis存储数据的能力。 一致性hash环 k1-->crc(16)? 0-16384 redis集群的ping-pang机制&#xff1a;一个主机向另一个主机ping&#xff0c;另一个pang回来&#xff0c;说明连接成功&#xff0c;通过这样的方…
阅读更多...
脑与认知科学基础（期末复习）

脑与认知科学基础（期末复习）

脑与认知科学基础&#xff08;期末复习&#xff09; 文章目录脑与认知科学基础&#xff08;期末复习&#xff09;第一章 脑与认知科学简介认知元认知中国脑计划第二章 大脑简介Human brain解剖参考坐标大脑皮质脑的内侧和腹侧面神经系统神经系统的细胞神经元间信号传导神经回路…
阅读更多...
【LeetCode】No.94. Binary Tree Inorder Traversal -- Java Version

【LeetCode】No.94. Binary Tree Inorder Traversal -- Java Version

题目链接&#xff1a;https://leetcode.com/problems/binary-tree-inorder-traversal/ 1. 题目介绍&#xff08;Binary Tree Inorder Traversal&#xff09; Given the root of a binary tree, return the inorder traversal of its nodes’ values. 【Translate】&#xff1a…
阅读更多...
Trie字典树详解

Trie字典树详解

字典树&#x1f4d6;1. 什么是Trie树&#x1f4d6;2. Trie树的一些应用场景&#x1f4d6;3. Trie树的优缺点&#x1f4d6;4. Trie树的节点怎样定义&#x1f4d6;5. 代码实现&#x1f4d6;6. 字典树的优化&#x1f4d6;1. 什么是Trie树 Trie树&#xff0c;又叫字典树&#xff0…
阅读更多...
linux性能中常用压测工具

linux性能中常用压测工具

stress工具 stress是Linux的一个压力测试工具&#xff0c;可以对CPU、Memory、IO、磁盘进行压力测试。 安装: sudo yum install stress 命令的使用: -c, --cpu N&#xff1a;产生N个进程&#xff0c;每个进程都循环调用sqrt函数产生CPU压力。 -i, --io N&#xff1a;产生N个进…
阅读更多...
Java搭建实战springboot基于若依项目工时统计成本核算管理源码

Java搭建实战springboot基于若依项目工时统计成本核算管理源码

大家好啊&#xff0c;我是测评君&#xff0c;欢迎来到web测评。 本期给大家带来一套基于若依开发的springboot项目工时统计成本核算管理源码&#xff0c;该系统是前后端分离的架构&#xff0c;前端使用Vue2&#xff0c;后端使用SpringBoot2。 技术架构 技术框架&#xff1a;Sp…
阅读更多...
计算机毕设推荐基于微信小程序的自来水收费系统

计算机毕设推荐基于微信小程序的自来水收费系统

&#x1f496;&#x1f525;作者主页&#xff1a;计算机毕设老哥&#x1f525; &#x1f496; 精彩专栏推荐订阅&#xff1a;在 下方专栏&#x1f447;&#x1f3fb;&#x1f447;&#x1f3fb;&#x1f447;&#x1f3fb;&#x1f447;&#x1f3fb; Java实战项目专栏 Python实…
阅读更多...
帝国CMS后台登录显示空白解决方法汇总

帝国CMS后台登录显示空白解决方法汇总

升级PHP版本由原来5.X切换使用PHP7.*运行环境时会出现登录后台空白的情况，以下两种方法可设置支持PHP7.* 帝国CMS后台登录显示空白解决方法操作步骤： 1、全新安装帝国CMS时： 只需安装时“MYSQL接口类型”选择“mysqli”即可支持PHP7系列。系统会自动识别。 2、已经运行的帝国…
阅读更多...
送给python初学者的福利！掌握了这些知识，你将超过80％的小白

送给python初学者的福利！掌握了这些知识，你将超过80％的小白

前言 Python要学多久才能学会&#xff1f;我没有接触过编程怎么办&#xff1f;这是每一个初学者心中的疑问。 小编曾在网上看到一个帖子&#xff1a; 有一名网友是学金融的&#xff0c;他去上海找工作&#xff0c;看到好多公司都要有 Python 开发经验的&#xff0c;而且工资…
阅读更多...
UE5笔记【八】导入FBX网格和和材质到UE5

UE5笔记【八】导入FBX网格和和材质到UE5

资源网站&#xff1a;TurboSquid。进入&#xff0c;然后搜索Crate。筛选条件&#xff1a;Free。然后找到这个木箱子。 注册下载时&#xff0c;看到好多3D软件。 点击fbx.zip下载。然后解压到相应目录下。 接下来就是如何导入到UE5中&#xff0c;使用这个素材了。 第一种方式&…
阅读更多...
MIT6.824 2022 Raft

MIT6.824 2022 Raft

MIT6.824 2022 RaftRaftleader electionlogpersistencelog compaction整体测试Raft leader election 不论是访问还是修改Raft可变类成员&#xff0c;都需要加锁 rf.mu.Lock() if rf.state ! Leader {rf.mu.Unlock()return } args : AppendEntriesArgs{Term: rf.currentTerm,…
阅读更多...
某网站X-Signature签名破解

某网站X-Signature签名破解

网站地址： aHR0cHM6Ly9mc2UuYWdpbGVzdHVkaW8uY24= （b64解密） 先全局搜索X-Signature，跳转到app.xxx.js里，找到X-Signature，发现是对请求参数做了_操作，向上_为d 向上找d, d为一个函数， 跟到这里打印i值（“_platform=web,_ts=1669108721743,_versioin=0.2.5,keyword=…
阅读更多...
华为服务体系：ITR流程体系详解

华为服务体系：ITR流程体系详解

如果开发出了好产品&#xff0c;同时也高效率地将产品交付到客户手中。 但客户最终还是选择投诉&#xff0c;而且复购率低&#xff0c;原因是什么呢&#xff1f; 这就跟ITR流程有关了&#xff0c;在ITR不顺畅的时候&#xff0c;企业可能会面临如下挑战&#xff1a; 客户总是…
阅读更多...
Serverless 架构下的 AI 应用开发

Serverless 架构下的 AI 应用开发

作者&#xff1a;阿里云云原生 本篇内容连载自《Serverless 架构下的 AI 应用开发&#xff1a;入门、实战与性能优化》。 Serverless 架构与 CI/CD 工具的结合 CI/CD 是一种通过在应用开发阶段引入自动化流程以频繁向客户交付应用的方法。 如图所示&#xff0c;CI/CD 的核心概…
阅读更多...
Vue3中的computed和watch属性

Vue3中的computed和watch属性

文章目录1. computed计算属性2. watch侦听器属性2.1 watchEffect2.2 watch1. computed计算属性 简写写法&#xff08;只实现了 get &#xff09;&#xff1a; <template><div><ul><li v-for"item of carts" :key"item.id">{{ it…
阅读更多...
精华推荐 | 【深入浅出RocketMQ原理及实战】「底层原理挖掘系列」透彻剖析贯穿RocketMQ的存储系统的实现原理和持久化机制

精华推荐 | 【深入浅出RocketMQ原理及实战】「底层原理挖掘系列」透彻剖析贯穿RocketMQ的存储系统的实现原理和持久化机制

RocketMQ的发展历史 RocketMQ是一个统一消息引擎、轻量级数据处理平台。RocketMQ是一款阿里巴巴开源的消息中间件。 2016 年 11 月 28 日&#xff0c;阿里巴巴向 广西党性培训 Apache 软件基金会捐赠RocketMQ&#xff0c;成为 Apache 孵化项目。 2017 年 9 月 25 日&#xff0…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023