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

Applying transaction-based verification using SystemC

作　　者：牛振兴[1] 杜旭[1] 

机构地区：[1]华中科技大学电子与信息工程系,湖北武汉430074

出　　处：《计算机应用》2006年第3期708-710,共3页journal of Computer Applications

摘　　要：分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境设计效率上均有明显优势。As the Application Specific Integrated Circiut（ASIC） design size increases, the chip verification is one of the most important phases. Transaction-based verification method using SystemC was introduced and analyzed. A concrete chip design was verified with this verifieaton method and other traditonal verification methods. The test results show that transactionbased verification can get better effect and higher efficiency.

关 键 词：基于事务的验证方法 SystemC语言 验证环境 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]