PR

 米Jasper Design Automation, Inc.は,同社のフォーマル・ベリファイア(フォーマル検証ツール)の「JasperGold」が英ARM Ltd.に採用されたと発表した(日本語版ニュース・リリース)。ARMはプロセサ・コアの「Cortex」といった複雑なIPコアの検証に同ツールを適用する。

 ニュース・リリースには,ARMのJohn Goodenough氏(Director of Design Technology)のコメントが紹介されている。同氏によれば,今回のツールの採用で,ランダム・シミュレーションの負荷が軽減したり,IPコアの仕様記述の確度が向上するという。現在,JasperGoldはARMの複数の設計センターで使われている。