SystemVerilog中的local變量

默認情況下，類的成員和方法可從外部訪問使用類的對象句柄來訪問，也就是說，它們是公共的。

如果我們不希望這樣怎么辦，即如何組織從外部訪問類成員，防止外部其他類意外修改。

在大型項目中，我們可能使用外部提供的基類庫(如UVM)。

1. 第三方基類庫需要確保它們的用戶不能意外修改基類中的成員和方法，目的就是防止對項目的其他部分產(chǎn)生連鎖反應。

2. 另外，數(shù)據(jù)成員僅對擁有該成員的類自身可見也隱藏了實現(xiàn)細節(jié)，降低程序的復雜性和提高抽象級別。

用面向?qū)ο蟮恼Z言來描述，就是封裝（encapsulation）。

在Systemverilog中有兩種語法可以實現(xiàn)安全的封裝：local和protected。

local成員或者方法在類外部不可見，對其擴展類也不可見。只有包含這個成員的類的方法才可以訪問這些local成員。

聲明一個local成員或者方法的關鍵詞是“l(fā)ocal”

?

class packet;
 local int addr; //local property
 
 local function void disp(input int data); //local method
 $display("data = %h", data);
 $display("addr = %h", addr); //access local property
 endfunction
endclass
 
 module class_TOP( );
 initial begin
 packet p1;
 p1 = new( );
 // p1.addr = 'hf;
 //COMPILE ERROR - can't access 'local' property
 // p1.disp(20);
 //COMPILE ERROR - can't access 'local' method
 end
 endmodule

?

在上面的例子中，class “packet”中聲明了“l(fā)ocal”屬性 “addr”和一個local方法“disp”。

因為“addr”是一個 local成員，所以只能夠使用類自身聲明的方法“disp”訪問，所以下面這個訪問方式會導致編譯錯誤：

?

p1.addr = ‘hff;

Error-[SV-ICVA] Illegal class variable access
testbench.sv, 25
Local member 'addr' of class 'packet' is not visible to scope 'class_TOP'.
Please make sure that the above member is accessed only from its own class
properties as it is declared as local.

?

同理，由于我們將函數(shù)“disp”也聲明成了local，所以無法從外部訪問這個函數(shù)。所以下面的訪問方式同樣會報編譯錯誤：

?

p1.disp;

Error-[SV-ICMA] Illegal class method access
testbench.sv, 26
Local method 'disp' of class 'packet' is not visible to scope 'class_TOP'.
Please make sure that the above method is called only from its own class
properties as it is declared as local.

?

再看一個例子，擴展類遇到父類中的local成員。

?

 class packet;
 local int addr;
 local function void disp(input int data);
 $display("data = %h", data);
 $display("addr = %h", addr); //access local property
 endfunction
 endclass
 
 class eth_packet extends packet;
 
 function set_addr;
 //addr = 'hf; //COMPILE ERROR -
 //can't access 'local' property from extended class
 endfunction
 
 function void eth_disp;
 //super.disp(50);//COMPILE ERROR -
 //can't access 'local' method from extended class
 endfunction
 
 function void disp(input int data);
 //OK to override 'local' method in extended class
 $display("From eth_packet data=%d", data);
 endfunction
 endclass
 
 module class_TOP( );
 initial begin
 eth_packet e1;
 e1 = new( );
 e1.disp(50);
 end
 endmodule

?

在上面的例子中，我們擴展自父類 “packet”，聲明了一個擴展類“eth_packet.”

在類“eth_packet”中直接訪問local成員和local方法都會發(fā)生編譯錯誤。但是在擴展類中覆蓋local成員和方法“disp”是允許的。事實上，方法覆蓋之后，訪問的已經(jīng)不是父類中的那個local成員了。

打印log：

?

From eth_packet data= 50
 V C S S i m u l a t i o n R e p o r t

?

　　審核編輯：湯梓紅