program与module
program,各方面与module都类似,其中声明的变量在program中都可见,
生命周期也是static类型的,
program的结束,也是需要等待其中的所有initial块都执行结束。
与module最大的不同是,program中的时间都是在reactive的区域中执行的。
所以如果clock块写在program中,非阻塞赋值,都先发生在program中的Re_NBA中。
program中的信号的toggle变化,都是在module之后的,且当拍可以看见module中信号的变化。
共发断言也可以在program中,但是不推荐,
(concurrent assertion,采样都是在prepone中,evalution在reactive区域。
其中的property的断言用program中的信号。)
program中不能例化module,interface,其他program,不能包含always模块。
可以包含initial final等。
module中不能调用program中的function,task,
program中可以调用module中的function,task,此时在program中,task的执行时间片也是在reactive中。
program中特有的控制task,$exit(),exit函数的调用,必须在initial块中,否则不起作用。
module的声明有两种方式:
1) non-ANSI, module_name (port_list);
parameter_declaration_list
port_direction_and_size_declarations
port_type_declarations
2)ANSI,module_name #(para_port_list) (port_direction_and_type_list)
module generic_fifo(clk, read, write, reset, out, full, empty);
parameter MSB=3, LSB=0,DEPTH=4;
endmodule
module generic_fifo #(parameter MSB=3, LSB=0, DEPTH=4) (input wire [MSB:LSB] in,
)
endmodule
module中,可以声明function,task,
interface,program,
assertion,assign,checker,clocking,
initial,final,always,generate,
module中还可以声明module,这样的小module,称为nest module,与wrap的module scope相同,可以访问其中的任何变量。
只是做logic上的区分。
module还可以声明extern,来做分步或者partial的编译,extern module的声明,包括extern关键字,module name,module的list port。
extern module m(a,b,c,d); //之后定义该module的时候,port声明可以省略,inst连接可以使用通配符,.*
module m (.*);
endmodule
module top ();
m mm(.*);
endmodule
module的port,可以连接一个interface,event,var,net,array,或者struct,union。
如果direction,被省略,SV默认为inout;
如果port kind,被省略,SV默认为`default_nettye类型定义,可以是wire,tri等。
如果data type,被省略,SV默认为logic,除了interconnect类型port。
module中的hier引用,可以使用a.b.c来表示,无法区分root层与地下某一层这样的hier。
也可以通过$root.a.b.c来表示最顶层的hier。
module例化时的信号连接,有三种方法:
1) module alu_accum1 () //按order来进行连接
alu u_alu (alu_out, , ain, bin, opcode); //在逗号之间空格表示该值使用module内部的default value、
endmodule
2) module alu_accum1 () //按name来进行连接
alu u_alu (.alu_out(alu_out), .zero(), .ain(ain), .bin(bin), .opcode(opcode)); // .zero()表示使用module内部的default value,
endmodule
隐式的name连接,要求port_name与expression的name相同,只保留port_name即可。
module alu_accum1 ()
alu u_alu (.alu_out, .zero(), .ain, .bin, .opcode); // .zero()表示使用module内部的default value,
endmodule
3) module alu_accum1() //按.*的匹配来进行连接,自动连接name相同的port,剩下的单独连接
alu u_alu (.*, .zero()); // .zero()表示使用module内部的default value,
endmodule
bind结构可以将一个或多个module,interface,program,checker,例化在一个module中。
bind结构有两种:
1) bind target_scope :instance_list bind_module_inst;
编译器会在scope指定的范围内,找齐instance_list,然后将bind_module的inst插入到target_scope的末尾进行例化,否则就在所有的inst中都插入bind_module。
2) bind target_inst bind_mdule_inst;
编译器直接将bind_module的inst插入到target_inst中。
bind cpu fpu_props fpu_rules_1(
.a1 (a),
.b1 (b1));
表示将program fpu_props例化在所有的cpu的instance中,例化的名字叫fpu_rules_1,内部信号的连接是
program fpu_props中的a1信号,连接到a信号。
指定cpu inst, bind cpu:cpu1,cpu2 fpu_props fpu_rules_1(.a(a), .b(b));
bind的这个预编译命令,可以写在module,interface,或者compilation-unit scope中。bind中的port连接,可以直接通过相对的hier path来连接底层module的信号。
program与module的更多相关文章
- systemverilog中module与program的区别
我们知道,verilog语法标准中是没有program的,program是systemverilog语法标准新增的内容. 那么,为什么要新增一个program呢?主要考量是基于电路的竞争与冒险. 为避 ...
- Application binary interface and method of interfacing binary application program to digital computer
An application binary interface includes linkage structures for interfacing a binary application pro ...
- SAP 实例 12 List Box with Value List from PBO Module
REPORT demo_dynpro_dropdown_listbox. DATA: name TYPE vrm_id, list TYPE vrm_values, value LIKE LINE O ...
- 【转】查询oracle比较慢的session和sql
-查询最慢的sql select * from ( select parsing_user_id,executions,sorts command_type,disk_reads,sql_text f ...
- ORACLE会话连接进程三者总结
概念介绍 通俗来讲,会话(Session) 是通信双方从开始通信到通信结束期间的一个上下文(Context).这个上下文是一段位于服务器端的内存:记录了本次连接的客户端机器.通过哪个应用程序.哪个用户 ...
- 使用logminer挖掘日志,分析历史操作 系列一
===============STARTED==================================== 事件起因: 业务的人mail过来说是有张表记录的10K+的优惠码记录没了,要我们确 ...
- 查询Oracle正在执行和执行过的SQL语句
---正在执行的 select a.username, a.sid,b.SQL_TEXT, b.SQL_FULLTEXT from v$session a, v$sqlarea b where a.s ...
- oracle 查询最近执行过的 SQL语句(转载)
oracle 查询最近执行过的 SQL语句 (2014-06-09 18:02:43) 转载▼ 分类: Database oracle 查询最近执行过的 SQL语句 select sql_text ...
- Windbg使用简明指南
第一章 准备 1.1. 环境配置 _NT_DEBUGGER_EXTENSION_PATH=C:\WINDOWS\Microsoft.NET\Framework\v2.0.50727 _NT_SY ...
随机推荐
- Anaconda3 tensorflow安装 及ModuleNotFoundError: No module named 'tensorflow' 解答
Anaconda3 的安装,参考:手把手教你如何安装Tensorflow(Windows和Linux两种版本) tensorflow的安装,参考:深度学习(TensorFlow)环境搭建:(三)Ubu ...
- 重新学习Java的开始~
安装jdk的步骤及解释已经在这篇文章中详细阐述了,如下: http://www.cnblogs.com/godtrue/p/4338323.html 1.如何安装库源文件--摘自coreJava 库源 ...
- Codeforces --- 982C Cut 'em all! DFS加贪心
题目链接: https://cn.vjudge.net/problem/1576783/origin 输入输出: ExamplesinputCopy42 44 13 1outputCopy1input ...
- [POI2012]Odległość
[POI2012]Odległość 题目大意: 一个长度为\(n(n\le10^5)\)的序列\(A(1\le A_i\le10^6)\),定义\(d(i,j)\)为每次对\(A_i,A_j\)中的 ...
- MAC下 mySQL及workbench安装
1.首先去mysql 网站下载安装包,https://dev.mysql.com/downloads/mysql/ 选择第一个.dmg格式的下载安装 2.安装完成后,在System Preferenc ...
- [LeetCode] Domino and Tromino Tiling 多米诺和三格骨牌
We have two types of tiles: a 2x1 domino shape, and an "L" tromino shape. These shapes may ...
- SSIS获得Excel行号(转自http://blog.csdn.net/zplume/article/details/19113911)
问题描述: 首先个人并不推荐将Excel作为数据源,因为Excel单元格式会引起特别多的数据转换问题,例如:单元格里明明是2.89,但SSIS抽取到数据库里面之后却变成了2.88999999之类的数据 ...
- Lombok 介绍
Lombok使用 介绍 在项目中使用Lombok可以减少很多重复代码的书写.比如说getter/setter/toString等方法的编写. IDEA中的安装 打开IDEA的Setting –> ...
- spring mvc 总结
依赖包 <!-- spring依赖 --> <dependency> <groupId>org.springframework</groupId> &l ...
- 推送测试,生产环境无法打印log获取deviceToken,可以通过弹窗获取deviceToken
z- (void)application:(UIApplication *)application didRegisterForRemoteNotificationsWithDeviceToken:( ...