19th NASCUG MeetingのAlteraのプレゼンテーション資料

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

19th NASCUG Meetingのプレゼンテーション資料、
Embedded Software Dynamic Analysisでは、AlteraがImperasのM*SDKを使って、Linux and μC/OS IIでもバグを見つけたようです。

ImperasといえばOVPですが、M*SDKはソフトウェア開発環境です。マルチコア対応になっているようです。

また、Verification, Analysis and Profiling (VAP)を使うと、トレースやカバレッジもできるようです。

いかがでしょうか？

検証、Verification、SystemC、OVP