嵌入式协调设计中的系统级验证方法及应用

摘要

协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段.由于精确指令集模拟器模拟的细节多、速度慢,通常成为复杂嵌入式系统协同验证的瓶颈,因此提出使用RTOS软件模拟器和指令集模拟器相结合的多层次验证方法,提高了复杂嵌入式系统的验证速度,并通过某图像压缩系统的验证实例,说明该验证方法的有效性.