SystemVerilog版がリリースされています。

Verification Engineerの戯言

Michael Mintz，Robert Ekendahl著
『Hardware Verification with C++: A Practioner's Approach』

に付属しているCD-ROMに入っている、Teal/TrussのC++版(1.20b)と
同じバージョン(1.20b)にSystemVerilog版がリリースされています。

C++版と違って、モデルはすべてSystemVerilogで記述してあるので、
SystemVerilogでのクラスの使い方の勉強題材になります。

ユーザー登録すれば、ソースコードのダウンロードが可能です。