Ｉｎｓｉｄｅ　Ｌｏｇｉｃ〜ＳｏＣ検証を効率化する新技術（後編）　「アサーション」とは
日経マイクロデバイス　第228号　2004.6.1

この記事の情報
掲載誌	日経マイクロデバイス　第228号（2004.6.1）
ページ数	6ページ　（全8637字）
形式	PDFファイル形式　（109kb）
雑誌掲載位置	45〜50ページ目

後藤　謙治日本ケイデンス・デザイン・システムズプロダクト・マーケティングＳｏＣ（ｓｙｓｔｅｍ　ｏｎ　ａ　ｃｈｉｐ）の大規模化で，複雑化・長期化する検証作業。その効率化のための，最新技術を前号（２００４年５月号，ｐｐ．７３−７８）に引き続き紹介する。前回は「トランザクション」を説明したが，今回は「アサーション」を採り上げる。両技術を活用したＥＤＡツールは，６月７日から米国サンディエゴ市で開催するＤＡ…