基于LEON处理器的SOPC设计验证.pdfVIP

基于LEON处理器的SOPC设计验证 周新发 (北京控制工程研究所) 摘要本文参照SPARC V8体系结构，分析了LEON模型的VgDL代码，制订了Iu、 Cache，存储单元控制器，UART，Timers、并行10口，中断控制器等功能模块的验证需 求，采用指令集覆盖策略编写了验证程序，完成了LEON模型的功能验证和验证的覆盖 率分析，开发了基于xilinx百万门FPGA器件的原理样机，在现实环境下进一步验证了 基于SPARCV8指令集的LEON微处理器模型的可实现性。 SOPCIPFPGA 关键字验证VEDL LEON微处理器 1引言 On SOPC(可编程片上系统：SystemPrograraraableChip)是FPGA生产厂家在SOC技术的 基础上发展起来的新兴技术，其结合SOC和FPGA技术各自的优点，用可编程逻辑技术实现系 统集成。SOPC的好处是用户把所有关键的功能集成后。可以随着设计改变而重新配置．降低开 发费用，缩短开发时间。与SOC相比．SOPC更易于实现，它无须考虑诸如可测性、物理级综合、 低功耗设计、以及数模混合设计等问题。 SOPC技术在民用市场已经取得了长足的发展，广泛应用于消费电子、通讯等嵌入式领域。 在航天领域方面，由于太空环境与地面环境差异很大，空间辐射环境可能会引起存储单元的位翻 转乃至半导体功能失效，所以SOPC技术在空闯应用的研究依然是一个新的有待开拓的领域，但 国外航天研究机构早就认识到SOC／SOPC技术是航天电子发展的趋势，已经相应地开展了SOPC 航天应用方面的研究，探讨SOPC技术航天应用的可行性和星载计算机系统性能高、重量轻、体 庞大、性能低下的电子系统已经不适合技术发展的要求。国内最近研制的某些卫星的星载计算机 就采用了军品，宇航级的ASIC或者FPGA技术，不仅降低了体积和重量，而且改善了系统的稳定 性和可靠性。但在系统级集成领域，国内航天的研究不多见。 SOPC技术应用于航天的一个最根本的前提是可靠性得到保证。采用加固FPGA器件是目前 国内外常用的方法。而从设计本身保证可靠性则是当前SOPC航天应用的热点，主要集中在两个 方面：其一．改善设计本身使之具有抗辐照能力。例如通过在设计中增加抗SEU技术，例如在 设计中加入抗SEU的加固策略，对SOPC内所有寄存器进行TMR(三模冗余)，对所有存储单元 块采用EDAC。对内部总线，包括数据总线，地址总线以及控制总线进行奇偶校验等等t3][41；其 二，通过验证技术，确保复用的口(包括自行设计的胶粘逻辑)和IP互联等得到充分而又完备 的验证，保证整个SOPC功能正确，设计符合规范。 对我国航天而言．在投资有限的情况下，以FreeIP为研究对象，探索SOPC的验证，对于 发展成熟可靠的小型化技术非常重要。本研究旨在通过验证以Free方式获取的LEON微处理器 模型以及基于该模型构建的SOPC，初步解决微处理器的功能验证。掌握复杂数字电路的模型验 证技术，为SOPC技术航天应用奠定基础。本研究分为验证需求分析、验证实施和原理样机验证 等三个阶段。 2验证需求分析 LEON是一个可综合的32位微处理器VHDL模型，它与SPARCV8指令集兼容，是ESA基 31 中国宇航学会计算机应用专业委员会2004年学术交流会论文集 于未来空间任务而开发的，为嵌入式应用而设计。图l是LEON处理器的VHDL模型结构n 圈1 LEON微处理器模块结构 LEON本身自成系统，片上具有如下特征[51：SPARC V8兼容的IU，5级流水线实现；硬件 浮点单元和用户自定义的协处理器的外部接口。 LEON微处理器的VHDL模型是典型的可综合RTL风格。其中大多数模块使用时序描述， 典型地采用FSM描述方式，每个模块包含两个进程；一个是描述功能的组合逻辑，一个是实现 寄存器功能的时序进程。该