Verification Engineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Can Your Verification Survive “Boot Camp”?では、 フォーマル検証とアサーションベース検証のブートキャンプのお話。 受けたことは無いの…