论文部分内容阅读
系统功能验证已成为系统设计中至关重要的环节,系统模拟对计算资源的需求随被模拟结点个数的增加而增加。如何尽可能满足大系统模拟对计算资源的需求并提高逻辑模拟速度,是我们面临的必须解决的问题。为了更有效的模拟验证复杂系统或大系统的正确性,本文提出了分布环境下的多结点逻辑模拟设想,实现了多结点逻辑模拟验证平台CoSim。