关键词: SoC验证, 事务验证模型, SoC自动化功能验证系统, 测试覆盖率

Abstract:

To improve the SoC(System-on-Chip) verification coverage and to reduce the workload of verificationengineers, a hierarchical automatic function verifiacation system LSAVS(LiShan Automatic Verification System) with independent intellectual property rights based on the reuse idea, transaction verification model and the method of random stimulus generation is proposed.Using this verifiacation system,the workload of test-cases developing for SoC verificationengineers is reduced to 10% from 60%. And 100% function coverage is guaranties.Hence,the aim of fast and high verification coverage is reached.  

Key words: system-on-chip（SoC） verification, transaction verification module, system-on-chip（SoC） automatic verification system, test coverage