Verification Engineerの戯言
http://www.trusster.com/
でTruss/TealのSystemVerilogの新バージョン(v.1.5)が公開されました。
http://www.trusster.com/node/129
ダウンロードするには、ユーザー登録が必要です。
Truss/Teal SystemVerilogの解説は、
「Hardware Verification With SystemVerilog -- An Object Oriented Framework」
http://www.trusster.com/books/SystemVerilog
です。
http://blogs.yahoo.co.jp/verification_engineer/10757348.html
も参考にしてください。