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的信号

posted @ 2018-08-23 15:34  _9_8  阅读(1202)  评论(0编辑  收藏  举报