Esterel公司日前推出Esterel Studio 5.0,該公司保證這款軟件套件可以創建正確的可執行說明。

Esterel公司首席科學家及該語言的原創者Gerard Berry說:“Esterel Studio 5.0是基于最新版Esterel version 7開發的。不但語義的嚴格性沒有變化,而且Esterel同Intel一起研發,為該語言增加了對數據路徑、模塊接口和硬件信號類型的支持。”

Esterel Studio 5.0允許用戶為設計說明創建“黃金參考模型”,運行仿真和形式驗證軟件,然后自動產生C/ C++、Verilog或VHDL代碼。 Berry指出,該套件適用于關鍵路徑設計而非全部SoC設計。

Berry認為,即使出現了系統級設計語言SystemC,Esterel這樣的專有語言還會有市場需求,SystemC和Esterel具有不同的功能。SystemC善于描述IP(intellectual-property)模塊如何連接,但不善于描述IP本身。理由之一就是SystemC支持“軟件并行”(software concurrency),而Esterel version 7支持的是“循環級并行”(cycle-level concurrency)。

但是Berry強調,也許最大的差別在于Esterel有基于數學的正式語義,SystemC卻沒有。

設計者可以使用Esterel Studio中的文本和/或圖形捕捉說明,然后進行仿真,接下來是形式驗證。Esterel Studio 5.0增加了一個ModelSim“網關”,以使該語言同VHDL或者Verilog協同仿真。

Berry指出,目前Esterel Studio還不是一款成熟的行為級綜合工具,比如,無法執行復雜的數據通路資源共享。Esterel編譯器可執行靜態工作表。Esterel Studio僅適用于同步設計。

Esterel Studio 5.0現可供貨,時間性授權參考起價3.3萬美元。Esterel公司在美國、法國、德國和英國有銷售處,南京華博科技公司是該公司的中國分銷商。