片上多处理器的层次化高速测试与验证技术.pdf

第28卷第5期 哈尔滨工程大学学报 V01．28№．5 ofHarbin 2007年5月 Joumal EngineeringUniversity May．2007 片上多处理器的层次化高速测试和验证技术 郭松柳1，汪东升1，姚文斌2 (1．清华大学微处理器与片上系统技术研究中心，北京100084；2．哈尔滨工程大学高可信计算技术研究中心，黑 龙江哈尔滨150001) 摘要：片上多处理器的体系结构具有高效、低功耗的特点，但由于整体逻辑规模较大，且存储系统有一致性的要 求，因此其模拟器测试和验证的计算量大、复杂度高，整体采用传统的形式化测试方法测试速度慢．运用分隔测试技 术可以在测试过程中降低整体计算的复杂度，将使用传统测试方法不能测试的复杂系统测试简单化；利用随机程序 生成技术可以减少测试人员编写测试程序的时间并加速发现系统的错误，并行测试技术可以快速低功耗检验片上 多处理器存储器系统的功能并具有良好的可扩充性．将上述测试方法集成在片上多处理器的测试中，能够对整体的 计算量进行合理的分割和并行化，迅速定位整个系统的错误，大大缩减所需要的测试时间，降低了测试人员的工作 量，提高测试结果的覆盖率和可信性． 关键词：片上多处理器；存储系统测试；并行测试；层次化验证 中图分类号：TP303文献标识码：A文章编号：1006—7043(2007)05一0566一05 Hierarchical verificationof higllspeedtesting肌d GUO Wen_bin2 Song—liul”，WANGDong—shen91，YAO andSoC R＆D lO0084，China；2．Centreof (1．MicroprocessorTechnologyCenter，TsinghuaUniversity，Be巧ing HighDepend 150001，China) abilityComputingTechn0109y，HarbinEngineeringUniversity，Harbin a architecturewithlow Abstract：CMP(Chip—Multi—Processor)ishighperformance power thescaleofthe is a11 ofthe mustbe and chip’slogichuge，andparts memorysystem ofaCMP is andtime The of traditionalmeth— testing systemcomplicatedconsuming．speedtestingusing odsofverificationwillbe slow． the intodiscrete canreducecom— very Breakingtestingprocess segments the random and workload， time．(Constrained plexity computing savingsignificant program al