在民用飞机型号取证中,机载电子硬件设备的开发必须遵照RTCA/DO-254设计保证规范。在RTCA/DO-254设计保证规范中,复杂电子硬件的确认与验证是硬件研发过程中的核心环节。相对于NAND FLASH,NOR FLASH因其具有单独的地址总线和数据总线,可靠性高,读取速度快等特点,而被广泛地用来作为引导存储器和存储程序。使用SystemVerilog-Assertion和Verilog HDL设计并搭建了一种NOR FLASH控制器验证平台,验证平台及其运行结果验证了控制器的设计规范和输出结果是一致
