verilog使用基礎總結

  1：定義一個數(shù)據(jù)的，定義其位寬和和進制，省略位寬默認32位，省略進制默認十進制，數(shù)據(jù)之間可以添加下劃線

  2: X表示不確定的值，Z為高阻態(tài)

  3：parameter參數(shù)類型，可以定義為不變的數(shù)據(jù)，也可以參數(shù)的傳遞

  4：定義字符串時通用C語言的部分字符串，如\n,\t等

  5：變量數(shù)據(jù)類型主要分為網(wǎng)絡類型和寄存器類型。網(wǎng)絡類型不能存儲數(shù)據(jù)，寄存器類型可以存儲數(shù)據(jù)。（網(wǎng)絡類型：wire和tri主要用作連接單元的連線；Supply0對地建模，supply1對電源建模。Wor和trior實現(xiàn)線或功能；wand和triand實現(xiàn)線與功能；trireg可以存儲數(shù)值和電容節(jié)點的建模；tri0和tri1用于線邏輯的建模）（寄存器類型：reg型為可定義的無符號整數(shù)變量；memory是reg型的一個數(shù)組；interger型是32位有符號整數(shù)變量）

 6：wire型信號可以用于任何方程式的輸入，也可作為assign語句或者實例元件的輸出。

Reg型數(shù)據(jù)常用作表示always模塊內(nèi)的自定信號，常代表觸發(fā)器。

 7：邏輯運算符分為數(shù)值的與或非也分為按位運算符。

縮減運算符依次高位和地位實現(xiàn)邏輯運算。

關系運算符兩個數(shù)據(jù)進行關系運算，輸出真假和不確定X

等式運算符分為邏輯等和嚴格等。邏輯等輸出01X，將X，Z視為不確定的數(shù)；關系等分為01，將X,Z視為兩種符號。

位拼接運算符將兩個數(shù)據(jù)的某幾位拼接在一起

三目運算符相當于if和else，

 8：賦值語句分為阻塞賦值和非阻塞賦值

阻塞賦值也就是說它阻塞了其他賦值語句的執(zhí)行，只能進行一步一步的執(zhí)行， a=b

非阻塞賦值允許其他verilog語句同時進行操作，a<=b

當使用always時，阻塞賦值來描述組合邏輯，而非阻塞賦值描述時序邏輯。在一個always塊中不要同時使用阻塞邏輯和非阻塞邏輯

 9：verilog中有0 1 X Z四種邏輯值，邏輯值為1則按照真處理，若為0 X Z則按假處理，跳過if中的語句。

在if嵌套中，else總是和它最上面的if來匹配。

Case語句中的case和endcase成對出現(xiàn)。case語句分為case語句，以常量為參考；casez則以高阻態(tài)為參考，當有一個Z是，其結果為真；ca***則以高阻態(tài)和不確定值為參考，當有一個為Z或X時，結果為真。

采用‘primitive’對于case的約束主要分為FULL_CASE和PARALLEL_CASE。FULL_CASE約束就是讓編譯器默認case語句為完全case。

10：verilog分為四種循環(huán)的方式，其中repeat，forever，while只能用于仿真，不能形成電路。

    Repeat規(guī)定循環(huán)幾次就循環(huán)幾次，需借助begin和end進行開始和結束。

Forever循環(huán)常用于產(chǎn)生周期性波形。可以進行終止后執(zhí)行forever之后的語句。

While是用作一定條件下的循環(huán)，滿足條件是連續(xù)執(zhí)行，當條件不滿足時進入while之后的程序。

For循環(huán)部分可以進行仿真和綜合，電路復雜。

11： 塊語句以及過程塊

塊語句有begin_end和fork_join。

Begin_end塊內(nèi)可以定義局部變量，其次塊內(nèi)使用的語句可以被其他語句調用。

Fork_join塊內(nèi)語句將同時開始并行執(zhí)行，按照時間順序，排在最后一個語句執(zhí)行完之后跳出該程序塊。

塊內(nèi)部賦值有assign的連續(xù)賦值語句，當右邊的值發(fā)生變化時，計算右邊的表達式的值，并將結果付給左邊的變量。具有組合邏輯的特征。

Always塊可以描述組合邏輯也可以描述時序邏輯。Always塊主要由時序控制條件和執(zhí)行語句構成。

12：抽象級別的描述主要分為系統(tǒng)級，算法級，RTL級，門級和開關級。

門級描述就是利用verilog內(nèi)置的基本門級元件以及他們之間的連接來構筑邏輯電路的模型。

行為級描述關注的是邏輯電路的輸入/輸出的因果關系，即在任何輸入條件下產(chǎn)生何級輸出，描述的是一種行為特征。

13：組合邏輯通過assign實現(xiàn)。而時序的邏輯通過always實現(xiàn)。