ASIP行为逻辑及其综合的关键技术研究
项目介绍
AI项目解读
基本信息
- 批准号:61142006
- 项目类别:专项基金项目
- 资助金额:15.0万
- 负责人:
- 依托单位:
- 学科分类:F0204.计算机系统结构与硬件技术
- 结题年份:2012
- 批准年份:2011
- 项目状态:已结题
- 起止时间:2012-01-01 至2012-12-31
- 项目参与者:何儒汉; 高晓清; 綦志勇; 陈文; 许建强;
- 关键词:
项目摘要
ASIP(专用指令集处理器)可以在ASIC(专用集成电路)和GPP(通用可编程处理器)之间获得满意的性价比平衡,因而具有很好的应用前景。.本研究通过采用拓展Petri网模型描述流水线状态转移的方式来阐述ASIP行为进程,进而给出其行为的逻辑表示,为ASIP设计综合奠定基础。系统使用ADL(体系结构描述语言)描述目标体系构架,再以面向实时红外热像应用的TTA(传输触发体系构架)构架ASIP为实例,并通过开发基于UML建模框架的Java集成环境来验证研究方法的正确性。.本课题具有以下创新点和特色:⑴充分利用Petri网模型与流水线状态机的有机关联,本生地建立ASIP行为逻辑并得到其逻辑综合;⑵从实时图像处理指令与TTA构架间的映射关系,给出了ASIP设计综合的指导方法;⑶再以ADL描述系统结构设计规约,生成自动设计工具。.本课题对于研究具有自主知识产权的处理器核心也具有重要意义!
结项摘要
“ASIP行为逻辑及其综合的关键技术研究”课题(批准号:61142006)历经一年(2012.1~12)研究顺利结题,完成预定目标。.1. 研究内容.本研究以“描述–综合”设计方法学为指导,通过采用Petri网模型描述ASIP流水线进程,进而给出其行为的逻辑表示,为系统设计综合奠定基础;使用ADL建立目标体系构架及其可执行描述,并通过SoC元模型来验证研究方法的正确性。.具体研究内容包括: ①TTA流水线Petri网模型②基于PNML描述的流水线Petri网模型③基于ADL描述的ASIP模型体系架构④可执行ASIP应用系统规约.2. 结论 ① 基于Petri网的ASIP流水线模型能充分体现系统对象的实时及并行行为,可进行形式化验证;.② ADL能够抽象描述ASIP行为及体系结构,建立执行设计规约;③ ADL至HDL的映射为高效EDA设计提供了可行性。3. 成果 .①论文:“基于ADL描述的红外热像处理系统设计规约”,第一作者,口头报告,ESRS 2012,Hong Kong(ISTP).②论文:Study on the Framework of ASIP Executable Specification,第一作者,分会主席,口头报告,ICITMI2012(EI).③论文:Study on the Pipeline Logic Based on Petri Net,第一作者,口头报告,ICTMF 2012,Bali, Indonesia(ISTP).④论文:“TTA流水线Petri网模型”,第一作者,“微电子学与计算机”(中文核心期刊).⑤论文:“基于ADL描述的ASIP模型体系架构”,第一作者,“微电子学与计算机”(中文核心期刊).⑥计算机软件著作权:“基于GEF框架的ASIP设计软件V1.0”,第一著作权人,登记号:2012SR104802,中华人民共和国国家版权局.⑦SoC元模型:构建了MIPS以及基于开源处理器OpenRISC和Wisbone总线的SoC元模型,在FPGA评估板进行了基础验证实验。.⑧研究生培养:已培养2名硕士,论文题目为“基于Petri网的ASIP体系结构研究”;即将毕业的2名硕士课题为“ASIP总线与接口逻辑综合”。.⑨专著:《可执行ASIP设计规约》,华中科技大学出版社,待出版
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
急性无氧功率自行车运动对颈总动脉弹性模量和局部血液动力学的影响
- DOI:--
- 发表时间:2013
- 期刊:医用生物力学
- 影响因子:--
- 作者:朱勇;侯杰;刘波;朱亚冰;邱天爽;覃开蓉
- 通讯作者:覃开蓉
第二类管道效应对电液伺服系统动态特性影响的研究
- DOI:--
- 发表时间:2013
- 期刊:液压与气动
- 影响因子:--
- 作者:朱勇;姜万录;杨超;刘云杰
- 通讯作者:刘云杰
要素相对价格、土地资源条件与农户农业机械服务外包需求
- DOI:--
- 发表时间:2017
- 期刊:中国农村经济
- 影响因子:--
- 作者:蔡键;唐忠;朱勇
- 通讯作者:朱勇
基于EEMD形态谱和KFCM聚类集成的滚动轴承故障诊断方法研究
- DOI:10.16385/j.cnki.issn.1004-4523.2015.02.020
- 发表时间:2015
- 期刊:振动工程学报
- 影响因子:--
- 作者:郑直;姜万录;胡浩松;朱勇;李扬
- 通讯作者:李扬
基于电子罗盘的水下云台控制系统
- DOI:--
- 发表时间:2012
- 期刊:舰船电子工程
- 影响因子:--
- 作者:朱勇;王铮;马春波;敖发良
- 通讯作者:敖发良
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
内容获取失败,请点击重试
查看分析示例
此项目为已结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图
请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}