米Real Intent社は、同社のフォーマル検証ツール「Ascent Implied Intent Verification(IIV)」をNECが採用したと発表した。NECは同社が開発する通信システム向けICのRTL検証に、同ツールを適用する。

この先は会員の登録が必要です。有料会員(月額プラン)は申し込み初月無料!