Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 検証関連の本には、ツールや手法論についてはいろいろ載っています。 でも、これって何を検証するのかが決まった後の話。 では、何を検証…