一种基于ModelSim的分布模拟验证同步机制设计

摘要：

面对日趋复杂的硬件系统逻辑设计,传统的基于单机的模拟器己不能满足对设计进行模拟验证的需求.分布模拟验证方法能满足大系统对计算资源的需求并提高逻辑模拟速度,己成为系统功能验证的一种重要方法。模拟结点之间的同步机制是实现分布模拟的前提和基础.本文设计了一种基于ModelSim的分布模拟验证同步机制,实现了各个模拟结点的同步.

关键词： 硬件系统 逻辑设计 分布模拟 功能验证 同步机制

作者: 石道鹏 徐炜遐 郑义 喻鋆

作者单位: 国防科技大学计算机学院 长沙 410073

会议类型: 国内会议

会议名称: 第十二届计算机工程与工艺全国学术年会(NCCET”08)

会议地点: 呼和浩特

会议语种:中文

页码: 345-346

在线出版日期: 2008-08-01（万方平台首次上网日期，不代表论文的发表时间）