Advanced Verification Topicsの1章、Introduction to Metric-Driven Verificationを読みました。
数年前は、Constrained Random Verificationが流行りましたが、
この章では、Metric-Driven Verificationの説明です。
この章では、Metric-Driven Verificationの説明です。
何かの指標を満足するまで検証する。その指標は検証すべき項目とその達成度。
手法としてのConstrained Random Verificationだけでは、検証すべき項目の生成はやってくれますが、
どの程度、検証すべき項目がテストされたかはわからない。
そのためには、カバレッジを定義し、そのカバレッジの達成度を測定する。
カバレッジが100%になればいいのですが、必ずしも100%にできないかもしれない。
または、100%にするにはかなりの工数等が必要になる。などなど、
どの程度、検証すべき項目がテストされたかはわからない。
そのためには、カバレッジを定義し、そのカバレッジの達成度を測定する。
カバレッジが100%になればいいのですが、必ずしも100%にできないかもしれない。
または、100%にするにはかなりの工数等が必要になる。などなど、
キチンと測定するのが大切です。
検証、Verification、SystemVerilog、UVM、Cadence