一种通用处理器核验证平台的设计

摘要

随着微处理器设计规模和复杂度的不断增大,功能验证已经成为设计的瓶颈.本文围绕一种通用处理器核的功能验证工作,构建了一种多种验证方法糅合的、基于TLM覆盖率驱动的模拟验证平台.该验证平台支持多种仿真器的模拟仿真以及对于代码覆盖率和功能覆盖率的统计,包含强大的trace跟踪功能可实时地统计性能及快速定位错误现场,并有效加速验证开发的时间、提升验证仿真的速度.