Ｔｕｔｏｒｉａｌ：ＳｏＣ一発動作のための最新ＬＳＩ設計法＆ＥＤＡ〜機能検証の効率化が　ＳｏＣ短期開発のカギ　検証言語とアサーションを活用する
日経マイクロデバイス　第239号　2005.5.1

この記事の情報
掲載誌	日経マイクロデバイス　第239号（2005.5.1）
ページ数	7ページ　（全9300字）
形式	PDFファイル形式　（101kb）
雑誌掲載位置	92〜98ページ目

今井　正紀　半導体理工学研究センター（ＳＴＡＲＣ）開発第２部ＳｏＣ（ｓｙｓｔｅｍ　ｏｎ　ａ　ｃｈｉｐ）の開発期間のうち，５０〜８０％を占めるのが論理機能の検証である。それを短縮することこそが，ＳｏＣの市場投入を早めることになる。今回は，現在主流のＲＴＬ（ｒｅｇｉｓｔｅｒ　ｔｒａｎｓｆｅｒ　ｌｅｖｅｌ）設計を前提にした論理機能検証について論じる。効率化には，検証言語を使ったアサーション・ベース手法が…