可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门,以及对开发和集成嵌入式软件的需求持续增加,软件模拟器已经力所不及。而本文所介绍的基于事务的验证允许代表单个或者多个时钟周期的大量数据不经多次调用而直接进入模拟器,极大地提高了模拟性能。