ルネサス エレクトロニクスは、IPコアの開発におけるフォーマル・ベリファイア(形式検証ツール)の適用に関して、「50th Design Automation Conference(DAC 2013)」(米国テキサス州Austinで2013年6月2日~6日に開催)の展示会で講演した。この講演は、適用したフォーマル・ベリファイアのベンダーである米Calypto Design Systems, Inc.のブースでユーザー事例として発表された。

ここからは会員の登録が必要です。