一般來說，每個類實例都有它自己的變量，也就是說類的內存空間是動態分配和釋放的。同一個類的不同實例，即使變量名稱相同，實際上也是不同的東西。

有時候，我們希望一些變量在一個類的所有實例中共享，那么在聲明這個變量時就需要使用關鍵字static。

可以理解為靜態屬性隸屬于這個類，而不是某個類的實例，這個靜態屬性的內存空間在編譯時就已經完成了分配，而不需要等待類的實例化。

靜態屬性內存空間的分配在仿真時間0之前就已經完成了。

下面是一個在不同類實例之間共享的靜態屬性示例

?

module class_TOP( );
 class base;
 static logic [31:0] data; //static property
 endclass : base
 
 base base1, base2;
 initial begin;
 base1 = new( );
 base2 = new( );
 base1.data = 32'h f00_f0f0;
 $display("base2.data = %h",base2.data);
 end
 initial #10 $fnish(2);
 endmodule

?

在這個例子中，我們將“data”聲明為靜態屬性。然后,實例化為" base1 "和" base2 "。然后我們賦值“base1”實例中的“data”的值，并從“base2”實例訪問。

仿真Log:

?

base2.data = ff00f0f0
$fnish at simulation time 10
 V C S S i m u l a t i o n R e p o r t

?

從仿真log中可以看出，使用對象句柄“base1”賦值的屬性，可以通過句柄“base2”訪問到。這是因為“data”被聲明為static，被所有實例共享。

如果把“static”去掉會發生什么？最終句柄“base2”訪問的“data”值就是“XXXXXXXX”

下面是類中靜態屬性的最經典用法，統計這個類實例化了多少次？

?

module class_TOP( );
 class packet;
 static int packet_cnt;
 
 function new( );
 packet_cnt = packet_cnt+1;
 $display("From new ( ) :: packet_cnt = 
%0d",packet_cnt);
 endfunction
 
 endclass
 
 initial begin
 packet p1 = new;
 packet p2 = new;
 end
 endmodule

?

仿真log:

?

From new ( ) :: packet_cnt = 1
From new ( ) :: packet_cnt = 2
 V C S S i m u l a t i o n R e p o r t

?

在第二次實例化時，packet_cnt會在第一次實例化的基礎上加1.

下面是展示靜態屬性和動態屬性區別的一個例子：

?

class PCIe;
static int addr = 0; //Static property
int data = 0; //Dynamic property
function new ();
addr++;
data++;
$display ("addr=%0d data=%0d", addr, data);
endfunction

endclass
module tb;
initial begin
PCIe p1, p2, p3;
p1 = new ();
p2 = new ();
p3 = new ();
end
endmodule

?

仿真log:

?

addr=1 data=1
addr=2 data=1
addr=3 data=1
 V C S S i m u l a t i o n R e p o r t

?

我們可以看到addr被聲明為static，而data默認是automatic。所以每一次實例化時，addr都會在前一個實例化的基礎上加1，而data則每次都是1（因為每個實例化都有自己的data內存分配）

下面再看一個相對繞一點的例子：

?

module class_TOP( );
 class packet;
 static int packet_cnt; //Static property
 int tag; //Dynamic property
 function new( );
 packet_cnt = packet_cnt+1;
 tag = packet_cnt;
 endfunction
 function void disp( );
 $display("packet_cnt = %0d tag = %0d",packet_cnt, tag);
 endfunction
 endclass
 
 initial begin
 packet p1 = new;
 packet p2 = new;
 p1.disp;
 p2.disp;
 end
 endmodule

?

仿真log:

?

packet_cnt = 2 tag = 1
packet_cnt = 2 tag = 2

?

我們在packet實例化兩次（p1和p2）之后分別執行p1和p2的disp函數。
此時packet_cnt已經被加到2，所以最后打印的packet_cnt均為2，因為tag是automatic的，所以p1的tag為1，不被p2影響。