摘要
面对处理器巨大的验证空间,伪随机激励生成器成为处理器研发中必不可少的工具。处理器设计改变尤其是架构和指令集的变化会导致之前的处理器测试集合部分甚至全部失效,验证维护成本巨大。提出一种层次化的、基于模型和库的处理器伪随机激励生成器实现方法,针对处理器设计的特点,基于指令树建模、多维访存地址建模和处理器专家库建模等关键技术重点解决处理器研发中测试集合如何高效重用的难题。实际应用表明,该方法能够很好地适应处理器设计变化,增强处理器激励生成器的易用性和可重用性,测试集合移植重用率可以达到95%以上,显著缩短处理器更新换代时的验证周期。
Processor pseudo-random test generators are important and necessary in processor research and development,which can generate large numbers of tests so as to cover the huge verification space.However,some of tests in the test set may become illegal and useless when the processor design changes,especially when instruction set or architecture changes,resulting in significant verification and maintenance costs.In order to tackle the problem,a hierarchical method based on models and libraries is proposed to create a processor pseudo-random test generator.Several techniques such as instruction set tree modeling,multidimensional memory address modeling and processor professional knowledge library modeling are used to solve the problem of how to efficiently reuse test sets in processor research and development.The practical application shows that this method can well adapt to the changes of processor design and enhance the usability and reusability of processor pseudo-random test generators.The reuse rate of test set can reach more than 95%,which can significantly shorten the verification cycle when the processor design is changed and upgraded.
出处
《计算机工程与科学》
CSCD
北大核心
2018年第1期1-9,共9页
Computer Engineering & Science
基金
核高基"超级计算机处理器研发"课题(2013ZX01028-001-001-001)
关键词
模拟验证
处理器功能验证
伪随机测试
激励生成器
simulation
processor functional verification
pseudo-random test
test generator