论文部分内容阅读
系统级验证的挑战在电子领域，芯片和系统之间的界限已经变得越来越模糊，但是有一点很清楚，那就是：系统是由处理器、外设、第三方IP模块、随机逻辑、存储器、嵌入式软件和模拟模块共同组合而成的。系统级设计就是把包括软件、硬件和固件的整个系统在芯片上实现，因此需要进行系统级验证。而在系统级验证中最有挑战性的工作就是验证这些组件之间的互动情况，以及它们对外部数据和系统的响应。系统级模型拥有数量庞大和复杂度极高的组件，以及由嵌入式软件生成的复杂序列，它们给传统的逻辑模拟方式带来了巨大的挑战。这就迫使工程师们要采用更高抽