- 第一章 SystemVerilog导论
- 第二章 文本值
- 第三章 数据类型
- 第四章 数组
- 第五章 数据声明
- 第六章 属性
- 第七章 操作符与表达式
- 第八章 过程语句和控制流
- 第九章 进程
- 第十章 任务与函数
- 第十一章 类
- 第十二章 随机约束
- 第十三章 进程间的同步与通信
- 第十四章 调度语义
- 第十五章 时钟控制块
- 第十六章 程序块
- 第十七章 断言
- 第十八章 层次
- 第十九章 接口
- 第二十章 覆盖
- 第二十一章 参数
- 第二十二章 配置库
- 第二十三章 系统任务与系统函数
- 23.1 简介(一般信息)
- 23.2 确立时的typeof函数
- 23.3 typename函数
- 23.4 表达式尺寸系统函数
- 23.5 范围系统函数
- 23.6 Shortreal转换
- 23.7 数组查询系统函数
- 23.8 断言严重性系统任务
- 23.9 断言控制系统任务
- 23.10 断言系统函数
- 23.11 随机数系统函数
- 23.12 程序控制
- 23.13 覆盖系统函数
- 23.14 对Verilog-2001系统任务的增强
- 23.15 $readmemb与$readmemh
- 23.16 $writememb and $writememh
- 23.17 File format considerations for multi-dimensional unpacked arrays
- 23.18 System task arguments for multi-dimensional unpacked arrays
- 第二十四章 VCD数据
- 第二十五章 编译器指令
- 第二十六章 考虑从SystemVerilog中删除的功能
- 第二十七章 直接编程接口(DPI)
- 27.1 概述
- 27.2 Two layers of the DPI
- 27.3 Global name space of imported and exported functions
- 27.4 导入的任务和函数
- 27.5 Calling imported functions
- 27.6 Exported functions
- 27.7 Exported tasks
- 27.8 Disabling DPI tasks and functions
- 第二十八章 SystemVerilog断言API
- 第二十九章 SystemVerilog覆盖API
- 29.1 需求
- 29.2 SystemVerilog real-time coverage access
- 29.3 FSM recognition
- 29.3.1 Specifying the signal that holds the current state
- 29.3.2 Specifying the part-select that holds the current state
- 29.3.3 Specifying the concatenation that holds the current state
- 29.3.4 Specifying the signal that holds the next state
- 29.3.5 Specifying the current and next state signals in the same declaration
- 29.3.6 Specifying the possible states of the FSM
- 29.3.7 Pragmas in one-line comments
- 29.3.8 Example
- 29.4 VPI coverage extensions
- 第三十章 SystemVerilog数据读API
- 30.1 简介(一般信息)
- 30.2 需求
- 30.3 Extensions to VPI enumerations
- 30.4 VPI object type additions
- 30.5 Object model diagrams
- 30.6 Usage extensions to VPI routines
- 30.7 VPI routines added in SystemVerilog
- 30.8 Reading data
- 30.9 Optionally unloading the data
- 30.10 Reading data from multiple databases and/or different read library providers
- 30.11 VPI routines extended in SystemVerilog
- 30.12 VPI routines added in SystemVerilog
- 30.12.1 VPI reader routines
- 第三十一章 SystemVerilog VPI Object Model
- 31.1 简介(一般信息)
- 31.2 Instance
- 31.3 Interface
- 31.4 Program
- 31.5 Module (supersedes IEEE 1364-2001 26.6.1)
- 31.6 Modport
- 31.7 Interface tf decl
- 31.8 Ports (supersedes IEEE 1364-2001 26.6.5)
- 31.9 Ref Obj
- 31.9.1 Examples
- 31.10 Variables (supersedes IEEE 1364-2001 section 26.6.8)
- 31.11 Var Select (supersedes IEEE 1364-2001 26.6.8)
- 31.12 Typespec
- 31.13 Variable Drivers and Loads (supersedes IEEE 1364-2001 26.6.23)
- 31.14 Instance Arrays (supersedes IEEE 1364-2001 26.6.2)
- 31.15 Scope (supersedes IEEE 1364-2001 26.6.3)
- 31.16 IO Declaration (supersedes IEEE 1364-2001 26.6.4)
- 31.17 Clocking Block
- 31.18 Class Object Definition
- 31.19 Constraint, constraint ordering, distribution,
- 31.20 Constraint expression
- 31.21 Class Variables
- 31.22 Structure/Union
- 31.23 Named Events (supersedes IEEE 1364-2001 26.6.11)
- 31.24 Task, Function Declaration (supersedes IEEE 1364-2001 26.6.18)
- 31.25 Alias Statement
- 31.25.1 Examples
- 31.26 Frames (supersedes IEEE 1364-2001 26.6.20)
- 31.27 Threads
- 31.28 tf call (supersedes IEEE 1364-2001 26.6.19)
- 31.29 Module path, path term (supersedes IEEE 1364-2001 26.6.15)
- 31.30 Concurrent assertions
- 31.31 Property Decl
- 31.32 Property Specification
- 31.33 Multiclock Sequence Expression
- 31.34 Sequence Declaration
- 31.35 Sequence Expression
- 31.36 Attribute (supersedes IEEE 1364-2001 26.6.42)
- 31.37 Atomic Statement (supersedes IEEE 1364-2001 26.6.27)
- 31.38 If, if else, return, case, do while (supersedes IEEE 1364-2001 26.6.35, 26.6.36)
- 31.39 waits, disables, expect, foreach (supersedes IEEE 1364 26.6.38)
- 31.40 Simple expressions (supersedes IEEE 1364-2001 26.6.25)
- 31.41 Expressions (supersedes IEEE 1364-2001 26.6.26)
- 31.42 Event control (supersedes IEEE 1364-2001 26.6.30)
- 31.43 Event stmt (supersedes IEEE 1364-2001 26.6.27)
- 31.44 Process (supersedes IEEE 1364-2001 26.6.27)
- 31.45 Assignment (supersedes IEEE 1364-2001 26.6.28)
- 附录A 形式语法
- A.1 源文本
- A.2 声明
- A.3 Primitive instances
- A.4 Module, interface and generated instantiation
- A.5 UDP declaration and instantiation
- A.6 Behavioral statements
- A.6.1 Continuous assignment and net alias statements
- A.6.2 Procedural blocks and assignments
- A.6.3 Parallel and sequential blocks
- A.6.4 Statements
- A.6.5 Timing control statements
- A.6.6 Conditional statements
- A.6.7 Case statements
- A.6.8 Looping statements
- A.6.9 Subroutine call statements
- A.6.10 Assertion statements
- A.6.11 Clocking block
- A.6.12 Randsequence
- A.7 Specify section
- A.8 Expressions
- A.9 General
- A.10 Footnotes (normative)
- 附录B 关键字
- 附录C 标准包
- 附录D 链表
- 附录E DPI C-layer
- E.1 概述
- E.2 Naming conventions
- E.3 Portability
- E.4 Include files
- E.5 Semantic constraints
- E.6 Data types
- E.7 Argument passing modes
- E.8 Context tasks and functions
- E.9 Include files
- E.10 Arrays
- E.11 Open arrays
- E.11.1 Actual ranges
- E.11.2 Array querying functions
- E.11.3 Access functions
- E.11.4 Access to the actual representation
- E.11.5 Access to elements via canonical representation
- E.11.6 Access to scalar elements (bit and logic)
- E.11.7 Access to array elements of other types
- E.11.8 Example 4— two-dimensional open array
- E.11.9 Example 5 — open array
- E.11.10 Example 6 — access to packed arrays
- E.11.11 Example 7 — binary compatible calls of exported functions
- 附录F 包含文件
- 附录G 包含外部语言代码
- 附录H 并发断言的形式语义
- 附录I svvpiuser.h
- 附录J 术语表
- 附录K 参考书目
- 其他
文章来源于网络收集而来,版权归原创者所有,如有侵权请及时联系!
第十五章 时钟控制块
主题
链接 主题
主题 | 描述 |
15.1 简介(一般信息) | 在Verilog中,块与块之间的通信通过模块端口来指定。SystemVerilog加入了接口(interface)这一概念,接口是一个关键的结构,它能够封装块与块之间的通信,因此,用户能够方便地改变模块间通信的建模抽象层次。 一个接口指定了一个测试平台用来与被测设计进行通信的信号或线网。然而,一个接口并没有任何显式的时序规程、同步要求、或时钟控制范例。 SystemVerilog加入了时钟控制块,它能够识别时钟信号,并能够捕获被建模块的时序和同步要求。一个时钟控制块集合了同步于一个特定时钟的信号,并且使得它们的时序成为显式的。在一个基于周期的方法中,时钟控制块是一个关键的元素,它使得用户能够在一个更高的抽象层次上编写测试平台。除了关注于信号以及时间上的转变外,测试还可以根据周期和事务定义。根据环境的不同,一个测试平台可以包含一个或多个时钟控制块,每一个都可以包含它自己的时钟加上任意数目的信号。 时钟控制块将时序和同步细节与一个测试平台中的结构、功能和过程元素分割开来。因此,采样和驱动时钟控制块信号的时序成为隐式的并且相对于时钟控制块的时钟。这使得我们能够以一个非常简洁的方式编写一组关键的操作,而无需显式地使用时钟或指定时序。这些操作是:
|
15.2 时钟控制块声明 | 时钟控制块的声明语法如下: |
15.3 输入时滞与输出时滞 | 输入或双向信号在指定的时钟事件上采样。如果指定了一个输入时滞,那么信号在时钟事件之前的时滞时间单位上采样。类似地,输出或双向信号在相应的时钟事件之后的时滞仿真时间单位上被驱动。图15-1为一个上升沿时钟显示了基本的采样/驱动时序。
|
15.4 层次化的表达式 | 一个时钟控制块中的任何信号都可以与一个任意的层次化表达式相关联。正像15.2节所描述的那样,层次化的表达式通过在层次化表达式前面附加一个等号(=)来引入: |
15.5 多时钟控制块中的信号 | 相同的信号(时钟、输入、输入输出、或输出)可以在一个时钟控制块中出现多次。使用相同时钟(或时钟表达式)的时钟控制块应该共享相同的同步事件,这种方式就像几个锁存器可以被一个相同的时钟控制一样。输入语义在15.12节中描述,输出语义在15.14节中描述。 |
15.6 时钟控制块的作用范围和生命周期 | 一个时钟控制块既是一个声明也是这个声明的一个实例。单独的实例化步骤不是必要的。相反,会为包含声明的块的每一个实例产生一个拷贝(就像一个always块一样)。一旦声明了一个时钟控制块,定时信号就可以通过时钟控制块的名字和一个点(.)操作符来引用: |
15.7 多时钟控制块的例子 | 在这个例子中,一个简单的测试程序包含了两个时钟控制块。在本例中使用的程序结构将在第十六章中讨论。 |
15.8 接口与时钟控制块 | 一个时钟控制块封装了一组共享一个基本时钟的信号,因此使用一个SystemVerilog接口说明一个时钟控制块能够显着地减少连接测试平台所需代码的数目。此外,由于测试平台内时钟控制块中信号方向是有关测试平台而不是被测设计的,一个modport声明可以恰当地描述这两个方向。一个测试平台程序可以包含在一个程序当中,并且它的端口可以是接口,这个接口对应于每个时钟控制块中声明的信号。从测试平台这一侧(也就是modport test)看接口中的连线应该与时钟控制块中声明的方向相同,而从被测设计来看则具有相反的方向(也就是modport dut)。 例如,前面的例子可以使用接口按如下的方式重新编写: |
15.9 时钟控制块事件 | 一个时钟控制块的时钟控制事件可以直接使用时钟控制块的名字来引用,而不用理会用来声明时钟控制块的真实时钟控制事件。 例如: |
15.10 周期延时:## | ##操作符可以被用来将执行延时一个指定数目的时钟控制事件,或者时钟周期。 周期延时语句的语法如下: |
15.11 缺省时钟控制 | 一个时钟控制可以被说明成缺省的,这样它可以作用于一个指定模块、接口、或程序内的所有周期延时操作。 缺省周期说明语句的语法如下: |
15.12 输入采样 | 所有的时钟控制块输入(input或inout)都在对应的时钟控制事件上采样。如果输入时滞不是一个显式的#0,那么采样的值对应于先于时钟控制事件的时间布值时滞时间单位的Postponed区域中的信号值(参见15.3节中的图15-1)。如果输入时滞是一个显式的#0,那么采样的值对应于Observed区域的采样值。 采样会立即发生(调用进程不会阻塞)。当一个信号出现在一个表达式中的时候,它会被信号的采样值替代,也就是在最后一个采样点上采样的值。 当同一个信号是多个始终控制块输入的时候,它的语义是很直接的;每一个时钟控制块使用自己的时钟控制事件采样对应的信号。 |
15.13 同步的事件 | 显式的同步通过事件控制操作符@来实现,它允许一个进程来等待一个特定的信号值变化或者一个时钟控制事件(参见15.9节)。 同步操作符的语法在第8.10节给出。 与事件控制一起使用的表达式可以指示时钟控制块的输入(input或inout)或者一个分片。分片可以包含动态索引,它会在@表达式执行的时候进行一次计算。 下面是一些同步语句的例子:
|
15.14 同步的驱动 | 时钟控制块的输出(output或inout)被用来在一个指定的时间上将值驱动到它们对应的信号。换句话说,对应的信号在指定的时钟控制事件上通过输出时滞来修改它的值。 说明一个同步驱动的语法类似于一个赋值: |
如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
发布评论