随着硅片集成技术的高速发展，片上系统SoC(system-on-a-Chip)已经成为现代数字系统设计的必然趋势。SoC和一般数字系统最主要的区别是前者在单一硅片内集成了独立的嵌入式CPU，必要的存储器控制器也要求集成到SoC芯片内，所以对SoC系统的软硬件协同实时验证便成为SoC设计的难点。……
