%0 Journal Article
%T 使用systemc进行基于事务的验证
%A 牛振兴
%A 杜旭
%J 计算机应用
%D 2006
%X ？分析了使用systemc的基于事务的验证方法。它应用于一个具体项目的开发，并与传统的验证方法作了对比，证明它在验证效率和验证环境设计效率上均有明显优势。
%U http://www.joca.cn/CN/abstract/abstract9143.shtml