文档介绍：清华大学
综合论文训练
题目:的目标机描述的初步研究
系别:计算机科学与技术系
专业:计算机科学与技术专业
姓名:符文杰
指导教师:王生原
二〇〇六年六月十九日
指导教师评语:
指导教师(签字)
评阅教师评语:
评阅教师(签字)
答辩小组意见:
组长(签字)
成绩:
教学负责人(签字)
年月日
关于学位论文使用授权的说明
本人完全了解清华大学有关保留、使用学位论文的规定,即:学校有权保留学位论文的复印件,允许该论文被查阅和借阅;学校可以公布该论文的全部或部分内容,可以采用影印、缩印或其他复制手段保存该论文。
(涉密的学位论文在解密后应遵守此规定)
签名: 导师签名: 日期:
综合论文训练任务书
姓名学号班号
系别同组姓名指导教师
课题名称:
[单击此处键入]
论文主要内容及进度安排:
[单击此处键入]
论文主要要求(如主要指标):
[单击此处键入]
主要参考文献:
[单击此处键入]
教学负责人签字
年月日
中文摘要
在编译程序中,可重定向性非常重要,而目标机描述是实现可重定向性的核心环节。本文研究了用Petri网模型对目标机进行描述的问题。Petri网的并发性等特点使得它在作为目标机描述语言有一定的优势,但是目前在该领域中的研究并不多。本文中用对象Petri网对一个具体的CPU设计做了完整的建模,通过简单的性质验证和模拟执行等手段验证了它的正确性。设计并实现了一个面向体系结构的对象Petri网模拟器。在这些工作的基础上,今后可以对更复杂的目标机进行建模,并逐渐形成一套有效的建模方法。
关键词:目标机描述语言、Petri网、对象Petri网、建模、执行
ABSTRACT
Retargetability is especially important pilers, and architecture description is one of the key elements for such a purpose. The thesis studies how to specify the architecture using some kinds of models. The concurrency and other properties has make it certain advantages as an Architecture Description Language, but the current research in the field is not so much. A well-modeled CPU design using Object will be presented, and be verified by some properties it enjoys along with simulation. We design and implement an Object simulator which is oriented to architecture description. On the basis of these work, we can carry out plicated architecture model and develop an efficient method in the future.
Keywords:Architecture Description Language, , Object , Modeling, Execution