微处理器体系结构级功能验证程序自动生成技术研究
体系结构级功能验证已成为微处理器设计过程的瓶颈.体系结构级的模拟验证质量和周期极大地依赖于验证程序的生成.本文深入分析了体系结构级模拟验证程序自动生成技术的理论和方法,并针对现有方法的不足,提出了一种全面而灵活的微处理器体系结构级验证系统的实现思路.
微处理器 功能验证 伪随机 约束求解 程序自动生成
梁磊 郭阳 李暾 朱丹
国防科技大学计算机学院(长沙)
国内会议
全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议
合肥
中文
216-221
2004-08-01（万方平台首次上网日期，不代表论文的发表时间）