私も使ってみたいNextOpのBugScope

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

今日はお休みです。朝からブログ書いています。
私、寒いの嫌いです。辛いです。あの暑い、夏が懐かしいです。あー。

本題に入ります。
昨日のブログ、NextOpのBugScopeは、使ってみたいツール？のNextOpのBugScopeを私も使ってみたい。

どんな感じなのだろうか？

RTLからAssertionを作り、そのAssertionをベースに作り込む。
最初の一歩としては非常にいいと思う。

個人的に使ってみることはできるのでしょうかな？
VERIFOREさん、ご連絡お待ちしております。

検証、Verification、Assertion