各种规模的电子系统通常都被集成到单一集成电路(ICs)中。虽然最大的片上系统(SoC)成为头条新闻,但仍有许多中小型SoC必须快速有效地实现。这些设计的验证必须包括硬件、低级软件(操作系统和驱动程序)和应用软件。