龙芯2号配套PCIBridge的功能覆盖率验证.PDFVIP

第32卷 第11期 计 算 机 工 程 2006年6月 VoL32 M 11 ComputerEngineering June2006 。开发研究与设计技术 · 文.幼号:1000-3428(2006)11--0277-03 文做标识码:A 中.分类号:TP306 龙芯2号配套PCIBridge的功能覆盖率验证 王赵君，沈海华 (中国科学院计算技术研究所，北京 100080) 摘 要:介绍了龙芯2号配套北桥中PCIBridge的功能验证系统以及功能覆盖率建模和分析方法。该系统和方法在开发和验证PCIBridge 模块过程中发挥了重要作用，加快了PCIBridge的开发速度，协助发现了一些设计与规范不相符合的地方，对后期流片成功提供了有效保 证。描述的功能覆盖率建模和分析方法具有一定通用性，可以为其它相似系统的验证提供借鉴。 关性词:覆盖率分析;PCIBridge;功能验证 FunctionalCoverageVerificationofGodson2PCIBridge WANGZhaojun,SHENHaihua (InstituteofComputingTechnology,ChineseAcademyofSciences,Beijing100080) [Abstract]ThispaperpresentsafunctionalverificationsystemofGodson2PCIBridge,whichincludsverificationplatform,coveragemodeland coverageanalysis.Thissystem isvery importantforverificationofPCIBridge.ItfindssomedifferencebetweendesignandPCIBridge specificationtoensurethesuccessfuloftapingout.Thispracticalmethodologyalsocanbeusedinothersimilarapplications. [Keywords]Coverageanalysis;PCIBridge;Functionalverification 1概述 统，该系统不仅为龙芯2号配套北桥的PCIBridge提供了有 功能验证是ASIC设计中的一个重要环节。常用的功能 效验证，也能对其它相关结构的验证起到借鉴作用。 验证方法主要包括仿真和形式验证两大类。在现代工业中， 2PCIBridge的签本结构 基于仿真的验证应用非常广泛，包括测试生成和测试向量的 PCIBridge提供WISHBOEN总线PCI本地总线的连接。 大量模拟仿真。采用真实应用、手工书写或随机生成的大量 它包含两个部分:WISHBONEslave模块和PCItarget模块。 测试向量可测到ASIC设计的各个角落，但盲目进行大量测 WISHBONEslave模块在WISHBONE总线一侧扮演从模块 试向量的重复测试会造成验证资源的不必要浪费、降低验证 的角色，在PCI总线一侧扮演发起PCI传输的主模块的角色。 效率。显然，需要有效的机制来检查和避免测试向量的重复， 它s作在WISHBONE的时钟CLK1下。PCItarget模块在PCI 同时，这种机制也应提供对验证进程的监督和判断。而覆盖 总线一侧扮演从模块的角色，在WISHBONE总线一侧则扮 率建模分析正是检查和显示验证是否完善的有效机制。 演主模块的角色。PCItarget模块将PCI总线上提交操作转换 通常，覆盖率可以分为两种:代码覆盖率和功能覆盖率。 为对WISHBONE总线的操作。它s作在PCI时钟CLK2下。 代码覆盖率可以自动地从RTL代码中提取。功能覆盖率则着