针对流水冲突的微处理器功能验证程序的自动生成

虞志益; 顾震宇; 沈泊; 章倩苓

首页> 中文期刊> 《小型微型计算机系统》 >针对流水冲突的微处理器功能验证程序的自动生成

针对流水冲突的微处理器功能验证程序的自动生成

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

功能验证是处理器设计中的关键问题,而基于激励向量仿真的方法是功能验证的主流技术,其难点在于如何产生高效的测试程序.研究了针对流水冲突的测试程序的自动生成方法.与常规技术相比,该方法适用于深度流水、指令系统复杂的处理器,具有自动化程度高、针对性强等优点.本文方法已应用于32位RISC处理器的验证中,取得了良好的效果.

著录项

来源
《小型微型计算机系统》 |2004年第7期|1212-1215|共4页
作者
虞志益; 顾震宇; 沈泊; 章倩苓;
展开▼
作者单位

复旦大学,专用集成电路与系统国家重点实验室,上海,200433;

复旦大学,专用集成电路与系统国家重点实验室,上海,200433;

复旦大学,专用集成电路与系统国家重点实验室,上海,200433;

复旦大学,专用集成电路与系统国家重点实验室,上海,200433;

展开▼
原文格式 PDF
正文语种 chi
中图分类设计与性能分析;
关键词
流水冲突; RISC处理器; 功能验证;

相似文献

中文文献
外文文献
专利

1. 基于约束求解的微处理器功能验证程序生成 [J] . 马竹青 ,章建雄 ,王玉艳 . 计算机工程 . 2011,第018期
2. 微处理器功能验证程序生成 [J] . 姚英彪 ,刘鹏 ,姚庆栋 . 计算机辅助设计与图形学学报 . 2006,第010期
3. 一个多功能流水冲突优化调度算法 [J] . 王素 ,张义清 . 南通大学学报（自然科学版） . 2007,第002期
4. 使用局部建模的微处理器测试程序自动生成方法 [J] . 张良 ,易江芳 ,佟冬 . 电子学报 . 2011,第007期
5. 微处理器体系结构级测试程序自动生成技术 [J] . 朱丹 ,李暾 ,郭阳 . 软件学报 . 2005,第012期
6. 微处理器体系结构级功能验证程序自动生成技术研究 [C] . 梁磊 ,郭阳 ,李暾 . 全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议 . 2004
7. 基于MIPS32架构的微处理器流水线设计 [A] . 侯元元 . 2016

针对流水冲突的微处理器功能验证程序的自动生成

摘要

著录项

相似文献

相关主题

期刊订阅