首页> 中文会议>全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议 >微处理器体系结构级功能验证程序自动生成技术研究

微处理器体系结构级功能验证程序自动生成技术研究

页面导航

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

摘要

体系结构级功能验证已成为微处理器设计过程的瓶颈.体系结构级的模拟验证质量和周期极大地依赖于验证程序的生成.本文深入分析了体系结构级模拟验证程序自动生成技术的理论和方法,并针对现有方法的不足,提出了一种全面而灵活的微处理器体系结构级验证系统的实现思路.

著录项

来源
《全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议》|2004年|216-221|共6页
会议地点合肥
作者
梁磊; 郭阳; 李暾; 朱丹;
展开▼
作者单位

中国计算机学会;

中国仪器仪表学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类微处理机;机器辅助技术;
关键词
微处理器; 功能验证; 伪随机; 约束求解; 程序自动生成;
入库时间 2022-08-17 11:04:48

相似文献

中文文献
外文文献
专利

1. 针对流水冲突的微处理器功能验证程序的自动生成 [J] . 虞志益 ,顾震宇 ,沈泊 . 小型微型计算机系统 . 2004,第007期
2. 微处理器体系结构级测试程序自动生成技术 [J] . 朱丹 ,李暾 ,郭阳 . 软件学报 . 2005,第012期
3. 基于约束求解的微处理器功能验证程序生成 [J] . 马竹青 ,章建雄 ,王玉艳 . 计算机工程 . 2011,第018期
4. 微处理器功能验证程序生成 [J] . 姚英彪 ,刘鹏 ,姚庆栋 . 计算机辅助设计与图形学学报 . 2006,第010期
5. 多核微处理器体系结构级功耗模型分析 [J] . 陈卓 ,刘畅 ,侯申 . 中南大学学报（自然科学版） . 2019,第007期
6. 微处理器Cache体系结构级功耗模型研究 [C] . Ren Jing ,任静 ,Tang Yuxing . 第十五届计算机工程与工艺年会暨第一届微处理器技术论坛 . 2011
7. 微处理器存储体系结构优化关键技术研究 [A] . 钱程 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号