一种NOR FLASH控制器验证平台的研究  

Research on a verification platform for NOR FLASH controller

作　　者：李明明[1] 王全忠[1] 郭伟[1] 郑永瑞[1] 

机构地区：[1]洛阳电光设备研究所,河南洛阳471000

出　　处：《现代电子技术》2015年第10期162-165,共4页Modern Electronics Technique

基　　金：航空科学基金项目资助(20125169021)

摘　　要：在民用飞机型号取证中,机载电子硬件设备的开发必须遵照RTCA/DO-254设计保证规范。在RTCA/DO-254设计保证规范中,复杂电子硬件的确认与验证是硬件研发过程中的核心环节。相对于NAND FLASH,NOR FLASH因其具有单独的地址总线和数据总线,可靠性高,读取速度快等特点,而被广泛地用来作为引导存储器和存储程序。使用System Verilog-Assertion和Verilog HDL设计并搭建了一种NOR FLASH控制器验证平台,验证平台及其运行结果验证了控制器的设计规范和输出结果是一致的。In the certification process of civil aircraft,the development of airborne electronic hardware components （i.e. ASIC/FPGA） must abide by RTCA/DO-254 specification,in which validation and verification of the complex electronic hard-wares are the cores in the hardware development process. Relative to NAND FLASH,NOR FLASH is widely used as boot memo-ry and storage procedure due to its structural characteristics of separate address and data buses,high reliability,high reading speed,etc. In this article,SystemVerilog-Assertion（SVA）and Verilog HDL（hardware design language）are adopted for design and establishment of a verification platform for NOR FLASH controller. The verification platform and its running result verify that the specifications of NOR FLASH controller are same as the output results.

关 键 词：RTCA/DO-254设计保证规范 NOR FLASH控制器 验证平台 机载电子设备 

分 类 号：TN30-34[电子电信—物理电子学]