期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
微处理器功能验证方法研究 被引量:12
1
作者 郭阳 李暾 李思昆 《计算机工程与应用》 CSCD 北大核心 2003年第5期35-37,共3页
微处理器验证是微处理器设计的关键环节。该文探讨了微处理器模拟、硬件仿真、形式验证等方法的原理、特点和适用场合,提出了进行多层次微处理器功能验证的总体思路。
关键词 微处理器 功能验证方法 形式验证 参考模型 逻辑级模拟器
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部