作者：吴斌 叶俊方面化特征模块openrisc1200
摘要：对OpenCores上的OpenRISC1200项目（简称OR1200）的统计发现,条件编译指令的使用高达714次,嵌入在条件编译指令间的代码占代码总量的61.60%。条件编译在硬件开发中被大量使用,但在软件开发时却并不提倡。因此,本文提出用方面化特征模块（AFM）开发硬件系统,以避免条件编译指令的使用。作为案例,本文给出用AFM重新开发OR1200项目的过程,它使得OR1200各features的开发从同时开发变为顺序开发,使得服务于各feature的代码从纠缠在一起变为相互独立,有利于OR1200的维护和调试。最后,基于OR1200的开发过程,本文建立了一套AFM开发方法下的硬件系统的形式化模型,它是进一步的形式化验证工作的基础。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
