文档介绍：合肥工业大学
硕士学位论文
IP芯核设计和验证技术的研究
姓名:何叶东
申请学位级别:硕士
专业:微电子学与固体电子学
指导教师:叶兵
20050301
芯核设计和验证技术的研究小化、功能最大化为自己的发展方向。某鱿执粗疃嘤诺愕耐保哺本文设计的微控制器软核符合ú縄曜己凸娣叮杓浦型摘要随着科技的发展,半导体工艺制程进入超深亚微米时代,在一个小小芯片上集成上百万甚至上亿个晶体管成为现实。集成技术的飞速发展使得设计与制造业引起了一股整合潮流,系统芯片,堑鼻凹际醴⒄沟谋厝磺魇疲衷谌魏涡酒潭家悦婊电路设计和验证带来新的挑战。本论文以微控制器软核设计和验证为例,重点研究芟呒芄辜际酢核集成和重用技术、橹ぜ际酢B畚牡闹饕9ぷ骱统晒缦拢’畚奶致哿薙的设计和验证方面的关键技术。文中详细讨论了的设计和验证的挑战,Ⅱ思珊椭赜眉际酰橹的重用技术以及功能验证自动化。畚纳杓屏艘桓霭宋籖微控制器软核,该软核是N闹惺紫让枋隽烁萌砗说奶逑到峁梗噶罴杓疲时序规划和流水线设计;然后详细描述各功能模块的设计。畚姆治隽薃缏烦S醚橹技术,比较了和橹ぜ际醯囊焱悖怀鯯验证技术更关注核间通讯接口的验证,并根据婺4蠛透丛佣雀叩奶氐悖出构建一个具有可重用性和一定的自动化特性的集成化验证环境。出层次化总线结构和接口标准化的特点。构建的集成化验证环境对微控制器软核进行了验证,结果表明它比传统单一验证技术效率高,并达到了可重用性和自动化的指标要求。关键词:系统芯片芯核微控制器验证平台总线功能模型
。Ⅵ锄峙錰衄賐肌也%缸锄扛∞甆鲥莇诚毋球印百&瑃印,Ⅵ印世朗珊瑄赾.℃,猠伊莎碑,,琣:痵,.、:廿..瓼Ⅱ.“琣瑆赼行...
弘以刁’呷·似氓数援踅麦矿认诖堇虱合肥工业大学答辩委员会签名ぷ鞯ノ弧⒅俺,舢南陧本论文经答辩委员会全体委员审查,确认符合合肥工业大学硕士学位论文质量要求。导师:主委少
插图清单,图集成电路产业的三次分工⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图集成电路设计自动化的各阶段⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图集成电路设计与仿真验证关系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图湫徒峁埂图层次化片上总线结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯逑到峁埂总线体系结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..芟咛逑到峁埂图口核标准化体系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯愣缘慊チ淖芟叻庾傲印庾昂蠹傻狡舷低匙芟咧小图带缓冲区的总线协议转换示意图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一微控制器系统框图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图指令流水线结构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯芯核结构框图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图指令存储器结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图指令节拍时序⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图转移指令处理流程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图硬连线逻辑控制器结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图刂颇?榻峁雇肌图译码“与或”阵列⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图谂淖刺疽馔肌模块结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图峁雇肌纸谧橹图低匙芟咧噶睿莼径敛僮魇毙颉图却刺亩敛僮魇毙颉图拘床僮魇毙颉图却刺男捶梦什僮魇毙颉图芟咔诺缏方峁雇肌图馍杩谘≡衲?榭蛲肌图控制模块状态转换图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.幕チ按渫肌时芟呤荽涫毙颉
图舳芟叨粒床僮魇挛瘛血示例⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图时芟呤荽涫毙颉?榻涌诘刂方饴胗胧鼓苄藕诺纳伞图快速样机环境⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图自顶向下.、Ⅳ的设计与验证⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图自底向上薿畊的验证⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图基于平台的验证环境⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图系统接口驱动的验证环境⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图测试平台⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图事务到信号的转换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图妗吕图总线监视器原理⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图远煊Ρ冉稀АВ图⑽募纠图工具目录⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图盗心柯肌图?槟柯肌图诵谢肪彻ぷ髂柯肌图髂J较路梦释馍枳刺;徊ㄐ巍图主模式下访问外设节拍控制波形⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图幽J较峦馍鑣作为从设备的传输波形⋯⋯⋯⋯⋯⋯⋯.图幽J较峦馍鑣作为主设备的传输波形⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.
表格清单表集成电路技术及发展规律⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表“自顶向下”和“由底向上”设计⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表年全