在HDL的循環(huán)語句中，在指定的循環(huán)過程中，其代碼塊（循環(huán)體）輸出同名信號(hào)，則構(gòu)成順序-循環(huán)（SAS-LOOP），其代碼塊（循環(huán)體）輸出不同名信號(hào)，則構(gòu)成并發(fā)-循環(huán)（CAS-LOOP）。

包括循環(huán)語句（含循環(huán)體）組成的代碼塊，EDA稱為循環(huán)框架（Loop Frame）。

在這里，HDL循環(huán)語句與算法語言的循環(huán)語句的差異：

1.HDL的循環(huán)變量i是以常量進(jìn)入循環(huán)體。算法語言則是以變量進(jìn)入循環(huán)體。

2.HDL的循環(huán)體并不被循環(huán)執(zhí)行，而是被重復(fù)描述（多次重復(fù)綜合），從而實(shí)現(xiàn)建模的效率。算法語言的循環(huán)體則一定是被循環(huán)執(zhí)行。

循環(huán)語句可綜合性的“數(shù)學(xué)歸納法”

數(shù)學(xué)歸納法常用于證明數(shù)學(xué)序列，它的要點(diǎn)是：

1.首先證明序列的基數(shù)成立

2.假設(shè)序列為N時(shí)成立

3.證明序列的N+1成立

HDL的循環(huán)語句是否可綜合，可以借用這個(gè)方法：

1.首先將循環(huán)語句的循環(huán)次數(shù)修改為一個(gè)很小的基數(shù)。由于在很小的基數(shù)時(shí)，其電路一定可以用結(jié)構(gòu)化方法直接描述（不使用循環(huán)語句）

2.將基數(shù)加1，仍然可以是結(jié)構(gòu)化描述，并加以驗(yàn)證

3.將基數(shù)修改為LPM參數(shù)可定制，使用循環(huán)語句描述，并加以驗(yàn)證

4.修改LPM定制參數(shù)，將其加1，觀察其綜合結(jié)果（驗(yàn)證）

通過以上步驟，可以證明所編寫的HDL循環(huán)語句是可綜合的，并且具有很高的綜合效率。

循環(huán)語句設(shè)計(jì)例子：具有64個(gè)輸入端口的8位異或電路：

使用“數(shù)學(xué)歸納法”為其使用循環(huán)語句建模和驗(yàn)證：

1.將基數(shù)（端口數(shù)）設(shè)定為4，得到：

RTL視圖（驗(yàn)證過程）：

2.將基數(shù)加1，這里將端口數(shù)修改為8，得到：

RTL視圖（驗(yàn)證過程）：

修改為端口數(shù)可定制的LPM模型

其RTL視圖：

現(xiàn)在將LPM的基數(shù)+1（修改端口指數(shù)PortNum_Power為4）

其RTL視圖：

以上就是循環(huán)語句構(gòu)成二叉樹異或門的過程，為了得到最終結(jié)果（64端口），將端口指數(shù)PortNum_Power=6，得到：

這里由于端口數(shù)過多，EDA的自動(dòng)繪圖需要中間過程，故首層僅展示如上部分。

循環(huán)語句可綜合性的設(shè)計(jì)例子二：同步計(jì)數(shù)器的結(jié)構(gòu)化設(shè)計(jì)

1.頂層框圖

2.代碼和代碼模型分析

其RTL視圖：

以上視圖中，當(dāng)rst_n=0時(shí)，多路器指向常數(shù)0；當(dāng)rst_n=1時(shí)，多路器指向加法器的輸出；注意加法器是寄存器的輸出q與1相加。

根據(jù)代碼模型和RTL視圖，可以得到等效節(jié)點(diǎn)模型：

若將復(fù)位信號(hào)的條件語句描述屏蔽，則得到RTL視圖更接近節(jié)點(diǎn)等效：

3.計(jì)數(shù)器的數(shù)學(xué)模型

在RTL視圖中，計(jì)數(shù)器有限自動(dòng)機(jī)的加法器執(zhí)行q+1(的描述)，其真實(shí)的電路是得到優(yōu)化和簡化的一個(gè)數(shù)學(xué)模型：

若Q序列表示為：

在時(shí)鐘離散時(shí)刻，Q的變化為：

觀察表格，能夠發(fā)現(xiàn)Q的每一個(gè)比特位翻轉(zhuǎn)的規(guī)律：

（）

（, ）

（, ）

……

（, ）

將觸發(fā)翻轉(zhuǎn)的條件（前級(jí)全部為1）采用級(jí)聯(lián)以減少面積：

（，）

（, ）

（, ）

……

（, ）

式中：

…….

注意位翻轉(zhuǎn)的一般表達(dá)式：（, ）

其真值表為：

其SOP為：

代入序列中，得到：

……

根據(jù)數(shù)學(xué)模型得到的代碼模型為：

編輯：jq