1、计算机科学与技术专业毕业论文 精品论文 分布并行模拟验证平台同步技术研究关键词：分布并行模拟验证 同步技术 CMB 算法 Time Warp 算法 数据结构 性能测试摘要：高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用
2、于对进行分布并行模拟验证的各个结点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA
3、 同步算法的基础上通过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环境的性能提供了基础。正文内容高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单
4、机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分
5、布并行模拟验证平台进行分析和对目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环
6、境的性能提供了基础。高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技
7、术，是实现分布并行模拟验证的前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用
8、的千万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环境的性能提供了基础。高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模
9、拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据
10、结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环境的性能提供了基础。高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设
11、计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基
12、本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方
13、面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环境的性能提供了基础。高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点
14、之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应
15、用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环境的性能提供了基础。高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大
16、规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预
17、约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环境的性能提供了基础。高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环
18、节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的
19、两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性
20、能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环境的性能提供了基础。高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结
21、点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建同步机
22、制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环境的性能提供了基础。高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验证方法已经难以满足目前系统验证对验证
23、周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前的分布
24、并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环境的性能提供了基础。高效的系统功能验证能
25、有效地缩短设计周期并降低设计成本，成为系统设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提和基础。
26、 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级测试模型进行了性能测试，测试结
27、果表明所实现的同步环境能够在消耗较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高同步环境的性能提供了基础。特别提醒 ：正文内容由 PDF 文件转码生成，如您电脑未有相应转换码，则无法显示正文内容，请您下载相应软件，下载地址为 http:/ 。如还不能显示，可以联系我 q q 1627550258 ，提供原格式文档。“垐垯櫃 换烫梯葺铑?endstreamendobj2x 滌?U 閩 AZ箾 FTP 鈦X 飼?狛P? 燚?琯嫼 b?袍*甒?颙嫯?4)=r 宵?i?j 彺帖 B3 锝檡骹笪 yLrQ#?0
28、 鯖 l 壛枒l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛渓?擗#?“?# 綫 G 刿#K 芿$?7. 耟?Wa 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 皗 E|?pDb 癳$Fb 癳$Fb癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$F?責鯻 0 橔 C,f 薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵秾腵薍秾腵%?秾腵薍秾腵薍秾腵薍秾腵薍
