用方面化特征模块开发OpenRISC1200软核

• 作者: 叶俊 吴斌
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 方面化特征模块 OpenRISC1200
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 软件工程
• 页码范围: 130-135
• 分类号: TP311
• 字数: 4531字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2011.07.036

摘要

对OpenCore,上的OpenRISC1200项目(简称OR1200)的统计发现,条件编译指令的使用高达714次,嵌入在条件编译指令间的代码占代码总量的61.60%.条件编译在硬件开发中被大量使用,但在软件开发时却并不提倡.因此,本文提出用方面化特征模块(AFM)开发硬件系统,以避免条件编译指令的使用.作为案例,本文给出用AFM重新开发OR1200项目的过程,它使得OR1200各feature,的开发从同时开发变为顺序开发,使得服务于各feature的代玛从纠缠在一起变为相互独立,有利于OR1200的维护和调试.最后,基于OR1200的开发过程,本文建立了一套AFM开发方法下的硬件系统的形式化模型,它是进一步的形式化验证工作的基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴斌	国防科技大学计算机学院	1	0	0.0	0.0
2	叶俊	国防科技大学计算机学院	4	28	3.0	4.0