首页> 中文会议>全国抗恶劣环境计算机第二十八届学术年会 >CPU流水线通路结构形式验证方法与实现

CPU流水线通路结构形式验证方法与实现

页面导航

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

摘要

流水线(Pipeline)技术是指程序在执行时候多条指令重叠进行操作的一种准并行处理实现技术,在提高CPU性能的同时,增加了CPU设计验证的复杂度.本文提出了一个公理系统对以带有MMU和Cache的CPU结构为基础添加了流水线的CPU结构进行形式化描述,给出了一种带有流水线的指令通路进行形式验证的定理证明方法,实现了一个自动证明工具并使用该工具高效地完成了对MIPS指令集81条指令指令通路的形式验证.

著录项

来源
《全国抗恶劣环境计算机第二十八届学术年会》|2018年|555-564|共10页
会议地点深圳
作者
李恬霖; 杨宏伟; 马殿富;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP332:TP303;
关键词
中央处理器; 结构设计; 流水线; 指令通路;
入库时间 2022-08-17 11:25:07

相似文献

中文文献
外文文献
专利

1. 基于MIPS指令集的流水线CPU设计与实现 [J] . 刘秋菊 ,张光照 ,王仲英 . 实验室研究与探索 . 2017,第008期
2. 解决CPU流水线冲突技术的设计与实现 [J] . 张大发 ,曹庆华 ,傅翠娇 . 现代电子技术 . 2008,第004期
3. 基于FPGA流水线CPU控制器的设计与实现 [J] . 赖兆磬 ,潘明 ,张辉 . 微计算机信息 . 2008,第020期
4. 嵌入式五级流水线CPU核的设计与实现 [J] . 赖兆磬 ,潘明 ,许勇 . 微计算机信息 . 2008,第029期
5. 用Verilog HDL实现CPU基本流水线 [J] . 李文 ,魏凤歧 ,武健刚 . 内蒙古大学学报：自然科学版 . 2004,第3期
6. CPU MMU通路结构形式验证方法与实现 [C] . 郭帅彬 ,杨宏伟 ,韩军 . 全国抗恶劣环境计算机第二十六届学术年会 . 2016
7. 基于MIPS精简指令集流水线CPU的设计与实现 [A] . 鲁琛 . 2012

CPU流水线通路结构形式验证方法与实现

摘要

著录项

相似文献

相关主题

期刊订阅