资料下载
×
基于验证库的微处理器指令集验证方法
消耗积分:2 |
格式:rar |
大小:266 |
2009-03-28
分享资料个
指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG 技术和验证策略，提出基于验证库的随机测试程序生成工具。使用通用脚本语言开发验证库和测试程序模板，针对不同验证阶段生成高质量的测试程序。测试结果表明，该方法实现简单，能达到较好的验证效果。
关键词：微处理器；指令集验证；随机测试程序生成；验证库
关键词：微处理器；指令集验证；随机测试程序生成；验证库
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
