技術速報〜富士通がフォーマル・ベリファイア関連の米国特許を取得　開発元の米国研究開発子会社がＥＤＡベンダへのライセンスねらう
日経エレクトロニクス　第799号　2001.7.2

　富士通の米国研究開発会社であるＦｕｊｉｔｓｕ　Ｌａｂｏｒａｔｏｒｉｅｓ　ｏｆ　Ａｍｅｒｉｃａ，Ｉｎｃ．（ＦＬＡ）は，同社が開発した技術の米国特許３件を富士通が取得したことを明らかにした（米国特許番号５，６４９，１６５，同６，０８６，６２６，同６，２１２，６６９）。いずれも，二つの回路が論理的に等しいかどうかを判定する「等価性チェッカ型フォーマル・ベリファイア」の高速化に関連する。同ベリファイアは…