改變數(shù)字硬件設(shè)計(jì)，實(shí)現(xiàn)真正工程化

VHDL和Verilog是用于描述可綜合數(shù)字硬件的兩種主流語言。但我們不應(yīng)忘記，它們最初可不是為了這個目的創(chuàng)建的，而是為了模擬和歸檔。這個事實(shí)加之許多其它語法弱點(diǎn)，引發(fā)了許多問題，比如設(shè)計(jì)參數(shù)化能力弱；設(shè)計(jì)可重用性差；代碼冗長、方法繁復(fù)；以及使可綜合和不可綜合特征之間的邊界模糊不清。為了應(yīng)對這些限制和問題，一些新的替代解決方案已經(jīng)出現(xiàn)，如Bluespec、Chisel、CλaSH、Migen、MyHDL和SpinalHDL等。

以不同方式描述硬件

與VHDL和Verilog一樣，SpinalHDL可用于通過定義寄存器和門來描述硬件，SpinalHDL不使用眾所周知的事件驅(qū)動范式來描述硬件（如VHDL和Verilog），而是使用專為此目的設(shè)計(jì)的語法。這允許在其聲明中區(qū)分組合信號與寄存器，并通過定義規(guī)則來描述硬件行為。這意味著信號和寄存器可以在相同的條件語句中分配，而這對于“事件驅(qū)動”替代方案是不可能的（見圖1）。

圖1：簡單的硬件描述。

語言的所有語法都可用于硬件描述，語法可分為兩類。一類是：通過使用專用類型顯式（explicitly）定義可綜合硬件；另一類是：可用于闡述硬件結(jié)構(gòu)，例如實(shí)例循環(huán)、功能和類。除此之外，SpinalHDL編譯器將執(zhí)行許多檢查，以確保用戶設(shè)計(jì)是合法的，例如：是否缺少組合循環(huán)；所有組合分配的完整性、以避免不必要的閂鎖指推（inferring unwanted latche）；跨時(shí)鐘域連接的合法性等——這使得SpinalHDL用起來很安全。

但SpinalHDL與VHDL和Verilog的主要不同是其嵌入到通用語言（Scala）中這一事實(shí)。由于這種方法，我們得到一個“Meta HDL”，其中高層級部分（類、動態(tài)陣列、字典。。.）可用于通過算法手段生成可綜合的硬件描述。這提供了非常高的表現(xiàn)力來描述靈活和可重復(fù)使用的硬件。實(shí)際上，正是它使SpinalHDL有能力以面向?qū)ο蠛凸δ苄?a target="_blank">編程的方式來操縱所描述設(shè)計(jì)的每一個元素；它與一個有能力的標(biāo)準(zhǔn)庫結(jié)合起來，從而在元硬件描述和闡述能力方面獲得了出乎意料的能力，遠(yuǎn)超VHDL、Verilog和SystemVerilog所能（見圖2）。

圖2：使用抽象實(shí)現(xiàn)寄存器庫（register bank）。

SpinalHDL編譯器能夠?qū)⒂脩艟帉懙挠布枋鲛D(zhuǎn)換為人類可讀和可綜合的VHDL/Verilog網(wǎng)表（正如大多數(shù)原理圖輸入工具貫穿所用），這使得它已經(jīng)與行業(yè)中使用的大多數(shù)EDA工具兼容。

此外，目標(biāo)語言/EDA工具不須本地支持Spinal-HDL提供的所有高級功能（例如類型和數(shù)據(jù)結(jié)構(gòu)參數(shù)化），在被解壓縮/展開到生成的VHDL/Verilog網(wǎng)表前，在SpinalHDL編譯器內(nèi)部得以支持、解決（見圖3）。

圖3：仲裁管道的實(shí)現(xiàn)。

未來展望

作為這些概念的現(xiàn)實(shí)演示者，我們使用SpinalHDL實(shí)現(xiàn)了一款名為“Pinsec”的小型SoC，它集成了RISC-V CPU、SDRAM控制器、嵌入式RAM、GPIO、定時(shí)器、UART、VGA和JTAG調(diào)試接口，由AXI4和APB3互連全部連接在一起（見圖4）。

圖4：Pinsec SoC框圖。

該演示表明，可非常容易地實(shí)現(xiàn)設(shè)計(jì)的頂層，特別是在涉及總線互連的參數(shù)化和實(shí)例化時(shí)。與傳統(tǒng)方法不同，SpinalHDL只需幾行代碼就能搞定，從而大大提高了可讀性和生產(chǎn)率。例如，將新外設(shè)連接到APB互連只需要一行參數(shù)化代碼（見圖5）。

圖5：Pinsec的總線橋和所有APB3總線構(gòu)造的頂層實(shí)例化。

另一個有趣的演示是RISC-V CPU（名為VexRiscv）的第二次迭代，演示了使用SpinalHDL的先進(jìn)元硬件描述功能帶來的增益。首先，CPU頂層是一個空白骨架，它只提供一些闡述服務(wù)、作為信號通過各階段（stage）的自動流水線、以及各階段的仲裁接口。

與一個允許在CPU頂層注入硬件的插件注冊系統(tǒng)相結(jié)合，該方法支持——可以具有相同功能的多個變體、而無需將其集成到CPU代碼中的——非常靈活的CPU架構(gòu)。插件可從最簡單的事情（例如程序計(jì)數(shù)器或整數(shù)ALU）到最復(fù)雜的操作（例如通過L1緩存的加載和存儲支持）。

插件之間的合作也可能非常復(fù)雜。例如，所有插件都可以發(fā)布新的指令操作碼，以及如何由指令解碼器進(jìn)行解碼。

然后，指令解碼器將使用與SpinalHDL元硬件功能相結(jié)合的Quine-Mc Cluskey算法來生成最小指令解碼邏輯。

結(jié)論

使用SpinalHDL是改變數(shù)字硬件設(shè)計(jì)愿景并實(shí)現(xiàn)真正工程化的一種體驗(yàn)。憑借其所有功能，它允許芯片設(shè)計(jì)人員描述優(yōu)雅和可重復(fù)使用的硬件，而沒有通常使用的HDL（如VHDL、Verilog甚至System-Verilog）的繁瑣和限制。它也證明了使用軟件工程技術(shù)在生成的RTL中沒有任何開銷就可詳細(xì)描述硬件結(jié)構(gòu)的可行性和收益。該語言及其參考編譯器也是完全免費(fèi)和開源的。

最后，請注意：上述示例中使用的所有功用和類，如Stream、RGB、隊(duì)列、Apb3Decoder、AxiLite4和AxiLite4SlaveFactory都不是Spinal-HDL語言中提供的功能，而是由標(biāo)準(zhǔn)庫使用其常規(guī)語法提供。換句話說，可以通過實(shí)現(xiàn)新的庫、抽象層和可從根本上改善硬件描述表現(xiàn)力的工具來擴(kuò)展語言本身；也可在不忽視抽象硬件的條件下、通過引入新的概念來擴(kuò)展語言（因?yàn)檫@些庫仍然在RTL域內(nèi)實(shí)現(xiàn)）。