NEWS
【EDSF2006】サイバーテック>>フォーマル検証ツール「JasperGold」
パシフィコ横浜で開催されたEDSFair2006で目にした、サイバーテックのブース。
サイバーテックは、2005年6月から国内代理店を務める米Jasper Design Automation社のフォーマル検証ツール「JasperGold」が、かなり目立った形で展示されていた。
「JasperGold」は、PSLやSystemVerilogを用いたアサーションベース検証とSoCのブロック全体のハイレベル検証に対応するフォーマル検証ツールで、聞くところによると、既に国内大手メーカーにて採用されており「相当な数の設計プロジェクトで使用されている」という。
まだ国内のユーザは計2社に限られているが、ここ最近、アサーションベース検証やSystemVerilogに対する注目の高まりと合わせて、ユーザの引き合いが増えているとの事。
ちなみに、製品ライセンスはタームライセンスで数百万円からだという。
※サイバーテック http://www.cyber-tec.co.jp
｜ページの先頭へ｜