なつたん

Writing testbenchがかなり面白い

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

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

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

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

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