数据传输通路检查方法及应用.PDFVIP

2006 年年6 月月 计计 算算 机机 工工 程程 年年 月月 第第32 卷卷 第第12 期期 计计 算算 机机 工工 程程 第第 卷卷 第第 期期 Vol.32 12 Computer Engineering June 2006 文章编号文章编号 1000 3428(2006)12 0241 03 文献标识码文献标识码 A 文章编号文章编号 文献标识码文献标识码 中图分类号中图分类号 TP391 工程应用技术与实现工程应用技术与实现 中图分类号中图分类号 工程应用技术与实现工程应用技术与实现 黄黄 静静 黄黄 静静 中科院计算技术研究所 北京100080 摘摘 要要 在对大规模集成电路设计的系统级功能验证工作中 数据传输通路的检查是一个非常重要的环节 基于存储映像的方法和端口到 摘摘 要要 端口的方法是两种常用的检查数据传输通路的方法 它们在开发周期选择 代码复杂度 测试覆盖率 可重用性等方面存在的差异 导致 各自有不同的应用范围 该文在对比这两种方法的基础上 设计并实现了龙芯 号配套北桥功能验证工作中对于数据传输通路检查的方案 2 关键词关键词 数据传输通路检查 基于存储映像 端口到端口 功能验证 关键词关键词 Datapath Test Methods and Application HUANG Jing (Institute of Computing Technology, CAS, Beijing 100080) Abstract Datapath test plays an important role in system level verification for VLSI design. Two main proaches towards this test are memory image based data checking and port-to-port data checking. This paper compares and evaluates these approaches, and introduces the method used in functional verification of northbridge for Godson2. Key words Datapath test; Memory image based; Port-to-port; Function verification 1.2 端口到端口的数据检查端口到端口的数据检查 数据传输通路检查方法数据传输通路检查方法 端口到端口的数据检查端口到端口的数据检查 1 数据传输通路检查方法数据传输通路检查方法 当大规模集