從數(shù)學家天馬行空的想法和極為復雜的算法到RTL代碼往往需要耗費大量的時間和人力，資源相對不足的公司可能因此而放棄一個很好的項目。針對這個問題，Synopsys公司近日推出Synphony HLS(High Level Synthesis)解決方案。Synopsys公司系統(tǒng)與高層次設計產(chǎn)品部門市場主管Chris Eddington先生向記者介紹，該解決方案實現(xiàn)了從M語言到優(yōu)化RTL的自動流程，與傳統(tǒng)RTL流程相比，能夠為通信和多媒體應用提供高達10倍速的更高的設計和驗證能力。Synphony HLS為ASIC和FPGA的應用、架構和快速原型生成最優(yōu)化的RTL。此外，通過在虛擬平臺中為系統(tǒng)驗證和早期軟件開發(fā)生成C模型，Synphony HLS補充了基于C/C++的程序流。

從M語言和高級IP到優(yōu)化RTL的自動流程
　　由于Mathworks的MATLAB環(huán)境能夠在極高的抽象層級上進行簡潔的行為表達，現(xiàn)已被廣泛地用于算法探索和設計。在這種環(huán)境下開發(fā)的M語言模型通常在RTL下被進行重新編碼和重新驗證，有些情況下用C/C++進行實施和驗證。與效率低下和容易出錯的人工重新編碼流程不同，Synphony HLS直接從高層次的M語言編碼和Synphony HLS優(yōu)化的IP模型庫中創(chuàng)建可執(zhí)行的RTL和C模型。通過采用獨特的約束驅(qū)動的定點傳播功能，設計師們可以快速和直觀地從高層次浮點M碼的可綜合子集中獲得定點模型。然后由Synphony HLS引擎合成已從架構上進行了優(yōu)化的RTL，以滿足面積、速度和功耗目標。

　　Chris告訴記者，他們的客戶Toyon研究公司的算法開發(fā)師Richard Cagley博士表示：“Synphony HLS解決方案將顯著地改變FPGA和ASIC在系統(tǒng)驗證和嵌入式軟件開發(fā)中的應用方式。傳統(tǒng)的HLS方法繼續(xù)承擔著重要的硬件工程資源，將我的算法翻譯成RTL，在FPGA和ASIC芯片上進行運行。Synphony HLS使我能夠用MATLAB進行高層級仿真和產(chǎn)品編碼，這意味著我現(xiàn)在僅用幾小時或幾天的時間就能夠直接從仿真到達硬件，而不用數(shù)月或數(shù)年的時間。這對基于我們算法的生產(chǎn)力、生產(chǎn)進度和產(chǎn)品質(zhì)量有廣泛的影響。”

來自單一模型的高層次綜合
　　Synphony HLS引擎能夠為ASIC、FPGA、快速原型或虛擬平臺綜合優(yōu)化的架構，同時通過各級別的實施流程保持驗證的連貫性。考慮到用戶指定的目標和架構限制，通過在語言和模型邊界(包括M語言和IP模塊)以及整個設計層次上應用排線、編制和約束優(yōu)化，HLS引擎能夠在多層級上進行自動優(yōu)化。

挑戰(zhàn)DSP
　　與DSP芯片不一樣，這里所指的DSP是指協(xié)助芯片設計公司，把進行數(shù)字信號處理的復雜數(shù)學和邏輯公式寫入到ASIC或者FPGA中，從硬件上完成數(shù)字信號處理。Chris表示，借助于Synphony HLS中的M-synthesis技術、C-model生成器、IP模型庫和用于ASIC和FPGA的Synphony HLS引擎，工程師可以隨心所欲地將復雜的算法集成到硬件里，省去了復雜硬件編程等系列問題，這樣比在已有的DSP芯片上使用軟件編程方式實現(xiàn)數(shù)字信號處理速度快很多。不可否認，這是對DSP芯片廠商的一個挑戰(zhàn)。

　　Synopsys副總裁兼Synplicity事業(yè)部總經(jīng)理Gary Meyers表示：“迄今為止，還沒有一種能夠在抽象層級上自動獲取連貫驗證流程的方法，也沒有用非常流行的M語言實現(xiàn)具備優(yōu)化輸出的實現(xiàn)流程。有了Synphony HLS，我們能夠為系統(tǒng)和軟件驗證提供一種比競爭對手更快和更可靠的方法。結合Synopsys技術領先的系統(tǒng)原型和硬件輔助驗證解決方案，設計團隊們能夠更加經(jīng)濟和更加可靠地設計和驗證他們復雜的芯片和軟件。”