フォーマル検証ツールの老舗EDAベンダーである米Real Intent社に最近の状況を聞いた。同社の設立は1999年で、先日、米Cadence Design Systems社が買収した、同じくフォーマル検証ツールの老舗EDAベンダーのJasper Design Automation社と奇しくも同じ年である。

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