規則#2:建立latch模型時，采用非阻塞賦值語句。
規則#3:在always塊中建立組合邏輯模型時，采用阻塞賦值語句。
規則#4:在一個always塊中同時有組合和時序邏輯時時，采用非阻塞賦值語句。
規則#5:不要在一個always塊中同時采用阻塞和非阻塞賦值語句。
規則#6:同一個變量不要在多個always塊中賦值。
規則#7:調用$strobe系統函數顯示用非阻塞賦值語句賦的值。
規則#8:不要使用#0延時賦值。

一、組合邏輯

1、敏感變量的描述完備性
Verilog中，用always塊設計組合邏輯電路時，在賦值表達式右端參與賦值的所有信號都必須在 always @(敏感電平列表)中列出,always中if語句的判斷表達式必須在敏感電平列表中列出。如果在賦值表達式右端引用了敏感電平列表中沒有列出的信號，在綜合時將會為沒有列出的信號隱含地產生一個透明鎖存器。這是因為該信號的變化不會立刻引起所賦值的變化，而必須等到敏感電平列表中的某一個信號變化時，它的作用才表現出來，即相當于存在一個透明鎖存器，把該信號的變化暫存起來，待敏感電平列表中的某一個信號變化時再起作用，純組合邏輯電路不可能作到這一點。綜合器會發出警告。

Example1:
input a,b,c;
reg e,d;
always @(a or b or c)
begin
e=d&a&b; /*d沒有在敏感電平列表中,d變化時e不會立刻變化,直到a,b,c中某一個變化*/
d=e |c;
end

Example2:
input a,b,c;
reg e,d;
always @(a or b or c or d)
begin
e=d&a&b; /*d在敏感電平列表中,d變化時e立刻變化*/
d=e |c;
end

2、條件的描述完備性
如果if語句和case語句的條件描述不完備，也會造成不必要的鎖存器。
Example1:
if (a==1'b1) q=1'b1;//如果a==1'b0,q=? q將保持原值不變，生成鎖存器！

Example2:
if (a==1'b1) q=1'b1;
else q=1'b0;//q有明確的值。不會生成鎖存器！

Example3:
reg[1:0] a,q;
....
case (a)
2'b00 : q=2'b00;
2'b01 : q=2'b11;//如果a==2'b10或a==2'b11,q=? q將保持原值不變，鎖存器！
endcase

Example4:
reg[1:0] a,q;
....
case (a)
2'b00 : q=2'b00;
2'b01 : q=2'b11;
default: q=2'b00;//q有明確的值。不會生成鎖存器！
endcase

二、Verilog中端口的描述

1、端口的位寬最好定義在I/O說明中,不要放在數據類型定義中；
Example1:
module test(addr,read,write,datain,dataout)
input[7:0] datain;
input[15:0] addr;
input read,write;
output[7:0] dataout; //要這樣定義端口的位寬！
wire addr,read,write,datain;
reg dataout;

Example2:
module test(addr,read,write,datain,dataout)
input datain,addr,read,write;
output dataout;
wire[15:0] addr;
wire[7:0] datain;
wire read,write;
reg[7:0] dataout; // 不要這樣定義端口的位寬！！

2、端口的I/O與數據類型的關系：
端口的I/O 端 口 的 數 據 類 型
module內部 module外部
input wire wire或reg
output wire或reg wire
inout wire wire

3、assign語句的左端變量必須是wire；直接用"="給變量賦值時左端變量必須是reg！
Example:
assign a=b; //a必須被定義為wire！！
********
begin
a=b; //a必須被定義為reg！
end

三、VHDL 中 STD_LOGIC_VECTOR 和 INTEGER 的區別

例如 A 是INTEGER型，范圍從0到255；B是STD_LOGIC_VECTOR，定義為8位。A累加到255時，再加1就一直保持255不變，不會自動反轉到0，除非令其為0；而B累加到255時，再加1就會自動反轉到0。所以在使用時要特別注意！
以觸發器為例說明描述的規范性
1、無置位/清零的時序邏輯
always @( posedge CLK)
begin
Q<=D;
end
2、有異步置位/清零的時序邏輯
異步置位/清零是與時鐘無關的，當異步置位/清零信號到來時，觸發器的輸出立即 被置為1或0，不需要等到時鐘沿到來才置位/清零。所以，必須要把置位/清零信號 列入always塊的事件控制表達式。
always @( posedge CLK or negedge RESET)
begin
if (!RESET)
Q=0;
else
Q<=D;
end
3、有同步置位/清零的時序邏輯
同步置位/清零是指只有在時鐘的有效跳變時刻置位/清零，才能使觸發器的輸出分 別轉換為1或0。所以，不要把置位/清零信號列入always塊的事件控制表達式。但是 必須在always塊中首先檢查置位/清零信號的電平。
always @( posedge CLK )
begin
if (!RESET)
Q=0;
else
Q<=D;
end