Ｎｅｗ　Ｐｒｏｄｕｃｔｓ〜ＥＤＡツール　フォーマル・ベリファイア　名を捨て実を取る
日経エレクトロニクス　第800号　2001.7.16

この記事の情報
掲載誌	日経エレクトロニクス　第800号（2001.7.16）
ページ数	2ページ　（全2958字）
形式	PDFファイル形式　（52kb）
雑誌掲載位置	48〜49ページ目

　１０００万ゲートを超える回路を１チップ上に製造できるようになり，ＬＳＩ検証手法の改革が急務になってきた。最近のＬＳＩ開発では，工程全体の７０％が検証に費やされるという報告がある。検証の効率化が，ＬＳＩの開発期間短縮には欠かせないといえる。　ＬＳＩの検証作業のうち，基本的かつ重要なのが論理機能検証である。すなわち，開発中のＬＳＩが論理的に正しく動作するかどうかを，製造前にコンピュータ上で確かめる。…