日経エレクトロニクス 2001/07/02号

技術速報
富士通がフォーマル・ベリファイア関連の米国特許を取得 開発元の米国研究開発子会社がEDAベンダへのライセンスねらう

 富士通の米国研究開発会社であるFujitsu Laboratories of America,Inc.(FLA)は,同社が開発した技術の米国特許3件を富士通が取得したことを明らかにした(米国特許番号5,649,165,同6,086,626,同6,212,669)。いずれも,二つの回路が論理的に等しいかどうかを判定する「等価性チェッカ型フォーマル・ベリファイア」の高速化に関連する。(29ページ掲載記事から抜粋) *テキスト版記事の文字数:640文字

この記事をオンラインで読む
買い物カゴに入れる110円
買い物カゴに入れる(読者特価)55円
 特価が表示されない場合は下の (※)をご覧ください
この雑誌を購入する
お得な定期購読 (手続き画面へ移動します)

(※) 「読者特価」でご購入の際、日経IDに未ログインの場合は途中で通常価格が表示されることがあります。ご購入画面をそのまま進んでいただき、「次へ(お客様情報の入力へ)」のボタン押下後に表示されるログイン画面で日経IDをご入力ください。特価適用IDであれば、表示が特価に変わります。

関連カテゴリ・企業名
【記事に含まれる分類カテゴリ】
エレクトロニクス > エレクトロニクス設計・製造 > 設計(エレクトロニクス)
【記事に登場する企業】
富士通
update:19/09/26