Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Advanced Verification Topicsの1章、Introduction to Metric-Driven Verificationを読みました。 数年前は、Constrained Random Verifica…