2007-10-04から1日間の記事一覧
Verification Engineerの戯言 http://blogs.yahoo.co.jp/verification_engineer/folder/1583124.html の論文のFigure 4から、 URMでvmm_dataに対応するのが、urm_sequence_itemのようだ! 各メンバーはvmm_dataと基本的には同じだが、 `urm_object_utils_beg…
Verification Engineerの戯言 http://blogs.yahoo.co.jp/verification_engineer/folder/1583124.html の論文のFigure 4から、 URMでvmm_dataに対応するのが、urm_sequence_itemのようだ! 各メンバーはvmm_dataと基本的には同じだが、 `urm_object_utils_beg…