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