【EDSFレポート】サイバーテック、頭とフォーマルは使いよう！重要な実践ノウハウを配布

EDSF2008に出展していた、CyberTecのブースレポート。

CyberTecのブースでは、昨年同様、米Jasper Design Automation社のフォーマル検証ツール「JasperGold」の展示を行っていた。

技術部の野々下氏によると、フォーマル検証を活用するユーザーは日本でも増えてきており、「使える使えない」といった議論は昔の話。使っている会社は徹底的に使っているとの事で、うまくフォーマル検証で効果を上げるには「どのような所でどのように使うか」そのノウハウが非常に重要という事だった。

ブースでは、それらフォーマル検証ノウハウにフォーカスした展示と合わせて、「ここが重要！フォーマル検証の実践ノウハウ」という冊子資料を配布。2日目の出展者セミナー「アサーション書いたら先ずはフォーマル！」は、50人部屋ながら立ち見の出る盛況ぶりだった。

尚、製品「JasperGold」については、昨年12月に最新バージョン「JasperGold 4.6」がリリースされ、PSL/SVAの言語サポートが機能強化されたほか、並列実行やトレース処理などエンジン自体もエンハンス。簡易的にフォーマル検証を行う「InFormal」な使い方もブラッシュアップされ、かなり良くなったと聞いた。

※CyberTec株式会社
http://www.cyber-tec.co.jp