ＮＥＴｓ連載講座　ＬＳＩ設計（第２回）〜ＩＰコアの検証は　開発の上流で行うほど効果的
日経エレクトロニクス　第807号　2001.10.22

この記事の情報
掲載誌	日経エレクトロニクス　第807号（2001.10.22）
ページ数	7ページ　（全6095字）
形式	PDFファイル形式　（51kb）
雑誌掲載位置	164〜170ページ目

システムＬＳＩ短期開発の鍵が「ＩＰコアの検証」だとする講座の後編。開発の上流で，すなわち，抽象度が高い段階でＩＰコアを検証するのがコツという。複数のＥＤＡベンダーがフォーマル・ベリフィケーション技術を使う解を示す。　第１回の最後に紹介した，米ＡＸＹＳ　Ｄｅｓｉｇｎ　Ａｕｔｏｍａｔｉｏｎ，Ｉｎｃ．と同じように「ＩＰコアのモデリングとシミュレーションを高い抽象レベルで行おう」と主張するのが，米Ｃｙｎｅ…