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

摘要：

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

关键词：方面化特征模块、OpenRISC1200

分类号：TP311(计算技术、计算机技术)

在线出版日期：2012-01-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：130-135