アサーションベース設計 原書2版

アサーションベース設計 原書2版

アサーションの有用性や適用方法などについて。
機能カバレッジについてもふれられています。

使用してあるのは、OVLやPSL,SystemVerilogなのでEDAツールに依存しない形で解説されています。

一見固そうですが意外と読みやすかったです。

はじめのほうにHPやIntelなど有名な企業での成功事例が載っているので、同僚や上司を説得するには良いかもしれません。

大規模化を続けるLSIの機能検証はもはやブラックボックスでは成り立ちません。

アサーションやカバレッジを利用して、設計担当者も設計・コーディングの段階から積極的に検証に協力していきましょう。