システムLSIの設計に,新しくモデル・チェック機能を導入した。これによって,小さなブロックで徹底的なテストを実施でき,それをベースにより複雑なブロックに関してもフォーマル・テクニックの活用が可能となった。この結果,われわれが持つライブラリに含まれるブロックの再利用性が一段と増した。すでに,これらのIPブロックを使うためのツールも充実している。(228〜230ページ掲載記事から抜粋) *テキスト版記事の文字数:4906文字
(※) 「読者特価」でご購入の際、日経IDに未ログインの場合は途中で通常価格が表示されることがあります。ご購入画面をそのまま進んでいただき、「次へ(お客様情報の入力へ)」のボタン押下後に表示されるログイン画面で日経IDをご入力ください。特価適用IDであれば、表示が特価に変わります。