テスト用言語に、C言語を。

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

Reuse & Designの記事、An Example Verification Environment for Different Types of Processor Modelsは、テスト用言語にC言語を利用したケースに関するものです。

ターゲットCPUは、ARM Cortex-M3。
モデルは、ARM DSMとTLM。

どちらのモデルでも同じテストが使えるようにするためにはどうすればいいのかを説明しています。

昨年のVerify2011の講演で紹介しましたSoftware Driven Verificationと基本的に同じです。

そうです。

今年は、Software Driven Verification の年ですから

検証、Verification