计算机科学与技术专业毕业论文计算机科学与技术专业毕业论文 精品论文精品论文 分布并行模拟验证分布并行模拟验证平台同步技术研究平台同步技术研究关键词：分布并行模拟验证关键词：分布并行模拟验证 同步技术同步技术 CMBCMB 算法算法 TimeTime WarpWarp 算法算法 数据结构数据结构 性性 能测试能测试摘要：高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统 设计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应 用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的 单机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的 要求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提 高模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布 并行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟 流程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系， 因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的 前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模 拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能 等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对 目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的 预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本 流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通 过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现 了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千 万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗 较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资 源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一 步提高同步环境的性能提供了基础。正文内容正文内容高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设 计中至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用 对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单 机验证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要 求。分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高 模拟验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并 行模拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流 程控制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系， 因而同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的 前提和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模 拟同步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能 等方面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对 目前的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的 预约式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本 流程，并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通 过构建同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现 了应用于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千 万门级测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗 较少资源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资 源需求和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一 步提高同步环境的性能提供了基础。 高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中 至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系 统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验 证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。 分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟 验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模 拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控 制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而 同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提 和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同 步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方 面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前 的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约 式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程， 并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建 同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用 于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级 测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资 源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求 和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高 同步环境的性能提供了基础。高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中 至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系 统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验 证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。 分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟 验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模 拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控 制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而 同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提 和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同 步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方 面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前 的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约 式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程， 并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建 同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用 于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级 测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资 源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求 和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高 同步环境的性能提供了基础。 高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中 至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系 统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验 证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。 分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟 验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模 拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控 制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而 同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提 和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同 步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方 面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前 的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约 式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程， 并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建 同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用 于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级 测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资 源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求 和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高 同步环境的性能提供了基础。 高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中 至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验 证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。 分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟 验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模 拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控 制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而 同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提 和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同 步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方 面进行了简要的对比分析。随后在对分布并行模拟验证平台进行分析和对目前 的分布并行模拟同步算法研究的基础上设计了一种基于下一时间步时标的预约 式同步算法(TNSA)，描述了该算法的主要思想、所需的数据结构和其基本流程， 并对该算法主要的开销进行了分析。在设计的 TNSA 同步算法的基础上通过构建 同步机制和通信子系统，采用不同于目前已有同步环境的回调方式实现了应用 于分布并行模拟验证平台的同步环境。最后使用代表三种不同应用的千万门级 测试模型进行了性能测试，测试结果表明所实现的同步环境能够在消耗较少资 源的情况下获得较高的性能加速比，证实了分布并行模拟验证方法在资源需求 和加速模拟等方面的优势，并且通过对测试结果进行相应的分析为进一步提高 同步环境的性能提供了基础。 高效的系统功能验证能有效地缩短设计周期并降低设计成本，成为系统设计中 至关重要的环节。随着大规模集成电路制造工艺的快速发展以及各种应用对系 统设计提出的大量新要求，使得数字系统的设计变得日趋复杂。传统的单机验 证方法已经难以满足目前系统验证对验证周期、计算资源和存储资源的要求。 分布并行模拟验证方法能满足大规模、复杂系统对大量资源的需求并提高模拟 验证速度，逐渐成为模拟验证的发展方向，具有良好的应用前景。分布并行模 拟验证同步技术主要用于对进行分布并行模拟验证的各个结点进行模拟流程控 制，维持各个结点状态的一致性以及保证各个结点之间相应的逻辑关系，因而 同步技术是分布并行模拟验证中的关键技术，是实现分布并行模拟验证的前提 和基础。 本文首先对以 CMB 和 Time Warp 算法为代表的两类分布并行模拟同 步算法进行了研究，对这两类同步策略在算法基本原理、同步方式和性能等方 面进行了简要的对比分析。随后在对分布并行模拟验