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

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