OneSpin 360 MV

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

EETimesの記事：How formal MDV can eliminate IP integration uncertaintyは、OneSpinsのソリューションに関するものです。

具体的には、OneSpin 360 MV Product Familyです。

私、OneSpinって等価性チェックだけだと思っていましたが、フォーマルもやっていたのですね。

ちなみに、カバレッジ用のデータベースは、UCDB(MentorがAccelleraに寄贈)をつかっているようです。

近い将来、ブロック検証がシミュレーションではなく、フォーマルツールでできるようになるのでしょうか？

検証、Verification