【EDSF2006】サイバーテック>>フォーマル検証ツール「JasperGold」

パシフィコ横浜で開催されたEDSFair2006で目にした、サイバーテックのブース。

サイバーテックは、2005年6月から国内代理店を務める米Jasper Design Automation社のフォーマル検証ツール「JasperGold」が、かなり目立った形で展示されていた。

「JasperGold」は、PSLやSystemVerilogを用いたアサーションベース検証とSoCのブロック全体のハイレベル検証に対応するフォーマル検証ツールで、聞くところによると、既に国内大手メーカーにて採用されており「相当な数の設計プロジェクトで使用されている」という。

まだ国内のユーザは計2社に限られているが、ここ最近、アサーションベース検証やSystemVerilogに対する注目の高まりと合わせて、ユーザの引き合いが増えているとの事。

ちなみに、製品ライセンスはタームライセンスで数百万円からだという。

※サイバーテック　http://www.cyber-tec.co.jp