PR

独OneSpin Solutions GmbHは,米Siemens AGからスピンオフしたEDAベンダーで,現在の主力製品はフォーマル検証技術を使ったRTL機能検証ツール「360 Module Verifier (360 MV)」である。今回,「これまでの検証と違って漏れがない」という,同社の創業者の一人でManaging Director and Chief Technology OfficerのWolfram Büttner氏に,そう主張する根拠と同社の手法のポイントを聞いた。

この記事は会員登録で続きをご覧いただけます

日経クロステック登録会員になると…

新着が分かるメールマガジンが届く
キーワード登録、連載フォローが便利

さらに、有料会員に申し込むとすべての記事が読み放題に!
【春割実施中】日経電子版セットで2カ月無料


日経クロステックからのお薦め

日経クロステック 春割 日経電子版セット 2カ月無料