Synopsys天宣布推出其Synphony HLS (High Level Synthesis)解決方案

新思科技公司，今天宣布推出其Synphony HLS (High Level Synthesis)解決方案。該解決方案集成了M語言和基于模型的綜合法，與 傳統RTL流程相比，能夠為通信和多媒體應用提供高達10倍速的更高的設計和驗證能力。Synphony HLS為ASIC 和 FPGA的應用、架構和快速原型生成最優化的RTL。此外，通過在虛擬平臺中為系統驗證和早期軟件開發生成C模型，Synphony HLS補充了基于C/C++的程序流。Synphony HLS與Synopsys的綜合工具DC、Synplify Premier、Confirma、VCS、System Studio和Innovator產品一起，提供了從算法到最終芯片的最完整的原型、實施和驗證流程。

Synphony HLS解決方案通過以下優點提供了比傳統方式明顯更高的效率：

?從M語言到優化RTL的自動流程

?針對ASIC和FPGA的架構優化生成RTL代碼

?用于早期算法驗證的快速原型方法

?生成C模型用于早期軟件開發和快速系統驗證

?包括原型和ASIC應用在內的多個流程的統一驗證

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

從M語言和高級IP到優化RTL的自動流程

由于Mathworks的MATLAB?環境能夠在極高的抽象層級上進行簡潔地行為表達，現已被廣泛地用于算法探索和設計。在這種環境下開發的M語言模型通常在RT 層級 (RTL)下被進行重新編碼和重新驗證，有些情況下用C/C++進行實施和驗證。與效率低下和容易出錯的人工重新編碼流程不同，Synphony HLS直接從高層次的M語言編碼和Synphony HLS — 優化的IP模型庫中創建可執行的RTL和C模型。通過采用獨特的約束驅動的定點傳播功能，設計師們可以快速和直觀地從高層次浮點M碼的可綜合子集中獲得定點模型。然后Synphony HLS引擎將合成已從架構上進行了優化的RTL，以滿足面積、速度和功耗目標。Synphony HLS允許設計師們能夠保留他們喜歡的算法建模語言，無需重新編碼和重新驗證模型，從而確保了早期的系統級別的驗證和核查。

來自單一模型的高層次綜合

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

Synphony HLS用于ASIC設計

Synphony HLS具備新的先進的時序評估功能，在給定的ASIC技術下，能夠自動地利用Design Compiler獲取自動排線和快速時序收斂過程中所需的精確信息。

Synphony HLS用于FPGA設計

Synphony HLS還可為廣泛的FPGA產品系列（Actel, Altera, Lattice, 和Xilinx）提供先進的時序和特定器件優化。這包括在當今FPGA器件中，硬件乘法器、存儲器、移位寄存器和其他高級硬件資源的優化映射。

Synphony HLS用于快速原型

利用Synphony HLS和Synopsys技術領先的Confirma快速原型解決方案，設計團隊能夠快速地將他們的設計在流片前搭建出原型，并在設計周期的更早期開始高性能算法驗證和軟件開發。

用于更早期軟件開發和更快系統驗證的C-Output

通過將C模型創建成開發流程中的自然副產品，Synphony HLS補充了C/C++實施、驗證和嵌入式軟件開發流程。Synphony HLS生成定點ANSI-C模型，可用于各種系統仿真環境和虛擬平臺，包括Synopsys的Innovator、System Studio、VCS 和 SystemC 流程。從而Synphony HLS確保了在設計周期的更早期開始基于C的核查和驗證。

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

封裝和供貨

Synphony HLS包括M-synthesis技術、C-model生成器、Synphony HLS高層次IP模型庫和用于ASIC和FPGA的Synphony HLS引擎。Synphony HLS現在限量提供，年底時可全面上市。如需獲得更多信息，請登陸網站www.synopsys.com/Tools/SLD/AlgorithmicSynthesis或者聯系您本地的Synopsys銷售代表。