随着技术的进步,大规模集成电路制造工艺得到了快速的发展,同时各种应用对系统设计提出了大量新要求,数字系统的设计也变得日趋复杂。系统功能验证能有效地缩短设计周期并降低设计成本,是系统设计中至关重要的环节。传统的单机验证方法已经难以满足目前系统验证对验证周期和计算资源的要求。并行分布模拟验证方法将设计进行划分并分派至多个模拟结点上进行并行模拟,使其能满足大规模、复杂系统对大量计算资源的需求并提高模拟验证速度,减少模拟验证所花费的时间。并行分布模拟验证所具有的这些优点使其逐渐成为模拟验证的发展方向,具有良好的应用前景。本文首先介绍并行分布模拟的实现技术,随后详细分析了开源模拟器Icarus Verilog的编译和模拟技术,接着对基于商用模拟器和开源模拟器的并行分布模拟技术实现原理、模拟方式及性能等方面进行了对比分析。在上述工作的基础上设计并实现了基于Icarus Verilog的并行分布模拟环境ODPSim,并阐述了ODPSim实现的相关技术,最后通过对一个复杂系统设计的模拟验证任务进行性能测试,验证了基于Icarus Verilog的并行分布模拟验证环境可以正确完成复杂系统的模拟验证工作,并且可以取得较高的模拟加速比。