検証すべき項目を決めるには？

Verification Evangelistの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

検証関連の本には、ツールや手法論についてはいろいろ載っています。
でも、これって何を検証するのかが決まった後の話。
では、何を検証する。この部分はどのよう決めるのでしょうか？

わたしが過去20年間読んだ検証関連の本や論文にもほとんどありませんでした。

では、どうすればいいのか？

それは、

ソフトウェアのテスト関連の本を読めばいい。

検証では、HDLやHVL(Veraやe、そして、SystemVerilog)であるので、
ソフトウェアではないと思ってしまいがちですが、これらの言語は基本的にはソフトウェアです。

ですから、ソフトウェアの本を読めばいいんです。

検証は、ソフトウェア開発ではテストですので、テスト関連の本を読めばいい。

まずは、技術評論社のソフトウェア・テストPRESSという雑誌がいいでしょう！
この雑誌を読めば、ソフトウェアのテスト関連について知ることができますし、
第一線のエンジニアが誰かを知ることができます。

あー、そうそう、今月の25(水)、26(木)に目黒雅叙園で行われるJaSST'12 Tokyoというのもあります。
有料ですが、たまには違う世界を経験するのはどうでしょうか？

検証、Verification