« ファンクショナルカバレッジまとめ | Main | トラッキング »

2004.10.08

アサーション

Writing testbenchがかなり面白い


時系列を扱うHDLでは、ソフトウェアのアサーションは使いにくい。
「この条件になってから2clk後に、この信号がアサートされる」とか

2種類のアサーション
①Implementation assertion
ソースを書いたエンジニアが入れるアサーション
達人プログラマーにかかれていた「契約によるプログラミング」ですな。

②Specification assertion
仕様から検証チームが入れるアサーション


で、本で紹介されていたサイト
http://verificationlib.org/

Assertion-Based Design, 2nd Editionは、邦訳 アサーションベース設計も持っているので後で読もう。

|

« ファンクショナルカバレッジまとめ | Main | トラッキング »

Comments

Post a comment



(Not displayed with comment.)




TrackBack

TrackBack URL for this entry:
http://app.cocolog-nifty.com/t/trackback/18154/1625399

Listed below are links to weblogs that reference アサーション:

« ファンクショナルカバレッジまとめ | Main | トラッキング »