相比`define的全局scope，“l(fā)et” 可以只作用在局部scope。

“l(fā)et”和`define一樣也是定義了一個文本替換。

define是驗證環(huán)境開發(fā)以及RTL開發(fā)過程中的一個非常常用的技巧，但是define是全局的，這是優(yōu)點也是缺點，很容易就會對其他模塊的驗證環(huán)境產(chǎn)生干擾。

相比來說，“l(fā)et” 的使用更加安全，因為“l(fā)et”只會作用到局部。

module example;
 logic r1,r2, r3,r4,clk,clk1;
 let exDefLet = r1 || r2; 
 always @ (posedge clk) begin: ablock
 let exDefLet = r1 & r2; 
 r3=exDefLet; 
 end
 always @ (posedge clk1) begin: bblock
 r4=exDefLet; 
 end
 endmodule

就等價于

module example;
 logic r1,r2, r3,r4,clk,clk1;
 always @ (posedge clk) begin :ablock
 r3=r1 & r2; 
 end
 always @ (posedge clk1) begin: bblock
 r4=r1 || r2 ;
 end
 endmodule

如果我們使用的是`define，而不是“l(fā)et”。

module example;
 logic r1,r2, r3,r4,clk,clk1;
 `defne exDefLet r1 || r2;
 always @ (posedge clk) begin :ablock
 `defne exDefLet r1 & r2; 
 r3=`exDefLet; 
 end
 always @ (posedge clk1) begin: bblock
 r4=`exDefLet; 
 end
 endmodule

后面的全局define會覆蓋前面的define，那上面的例子就等價于

module example;
 logic r1,r2, r3,r4,clk,clk1;
 always @ (posedge clk) begin: ablock
 r3 = r1 & r2; 
 end
 always @ (posedge clk1) begin: bblock
 r4 = r1 & r2; 
 end
endmodule

審核編輯：湯梓紅