Assertion-Based Verification IP (ABVIP)

Verification Evangelistの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

ケイデンスのブログ、
Product Update: New Assertion-Based Verification IP (ABVIP) Available Now - Functional Verificationでは、
VIPではなく、ABVIPを紹介しています。

ケイデンスVIPの多くは、e言語で実装されているようですが、
このABVIPはSystemVerilogで実装されているようです。

Assertion-Basedに対応するために、SystemVerilog Assertion にて記述されているようですね。

最近のケイデンスの検証関連では、フォーマルを積極的に使うようなツールが多いです。
先日のCDN Live! 2012のセッションでもいくつか紹介されていました。

当面は、eベースのVIPも使われていくのでしょうが、
重複しているものはメンテナンスされなくなるのでしょう。

特にこのブログにもあるように、AMBA関連などは。。。

検証、Verification、 Cadence