摘要：本文论述了片上系统设计与验证中存在的一些问题，如系统架构探索与*估、软硬件协同仿真等，介绍了用来解决这些问题的可执行规格、可执行平台、多抽象层次混合建模与验证等较新的观念和方法，最后着重介绍了基于软硬件统一的建模语言SystemC 的事务级建模方法。
1 系统级设计与验证简介
片上电子系统的速度和复杂度的不断提高不仅使得底层的设计实现易于出问题，而且顶层的系统架构、通讯机制、软硬件划分等都可能使系统的功能、性能或成本、开发周期等指标不满足要求。一旦在底层的实现阶段发现了这种顶层的设计问题，会有大量的设计工作重新进行；此外，工程师对设计规格的理解偏差，或设计规格本身的不完整及二
