使用systemc进行基于事务的验证

？分析了使用systemc的基于事务的验证方法。它应用于一个具体项目的开发，并与传统的验证方法作了对比，证明它在验证效率和验证环境设计效率上均有明显优势。