Vengineerの妄想(準備期間)

人生は短いけど、長いです。人生を楽しみましょう!

The Role of Coverage in Formal Verification



は、CadenceのFormal関連のブログです。4回シリーズです。もっとあってもいいくらいです。

検証、Verification、SystemVerilog、Assertion