PR

リコーは,米Mentor Graphics Corp.のフォーマル検証ツール「0-In Formal Verification」を導入し,使ってみた結果について講演した。この講演は9月5日に東京・品川で開催の「EDA Tech Forum 2008」で行なわれた。

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

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

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

さらに、有料会員に申し込むとすべての記事が読み放題に!
日経電子版セット今なら2カ月無料