Writing Efficient TLM 2.0 Models with GreenSocs

Verification Engineerの戯言

既に終わってしまいましたが、
今年のDACで気になるもののひとつがWriting Efficient TLM 2.0 Models with GreenSocsです。
今年になってかなりいろいろな情報がホームページ(GreenSocs)にアップされています。
この中でも、

    Scripting and Testing your Models (i.e with Pyton)
    Using Eclipse with SystemC (and the Eclipse VPP project) 

が気になっています。

SystemC+TLM 2.0で一番気になっているのが、このGreenSocsです。

検証、Verification、SystemC、TLM 2.0、GreenSocs