在民用飞机模型的法医工程领域，嵌入式电子设备的发展必须符合RTCA / DO设计保证规范？ 254.在RTCA / DO设计保证规范中？ 254，复杂电子设备的验证和验证是硬件开发过程的核心。NAND FLASH相比，NOR FLASH由于其独特的地址总线和数据总线，可靠性高，读取速度快，因此被广泛用作启动存储器和存储程序。用SystemVerilog™Assertion和Verilog HDL设计并实现了NOR FLASH系统验证平台，并验证了控制器的设计规范和输出结果是否一致。键词：RTCA / DO设计保证规范？ 254，NOR FLASH控制器，验证平台，车载电子设备中图号：TN30？ 34文件编号：A货号：1004？ 373X（2015）10？ 0162？ 04民用航空器必须确保飞行安全和公共安全，因此，航空电子系统的开发必须符合国际民用航空法规和航班的适航要求。般来说，国际航空业采用RTCA / DO设计保证规范？ 254 [1]美国协会RTCA确保嵌入式电子设备的安全水平。中，确认和验证成为确保发展安全的重要手段[2]。此，在复杂电子设备的开发中，审计工作越来越重要。FPGA验证用于确保物理项目实施满足所有要求（包括衍生要求）[3]，并通过各种方法确认设计规范和输出结果的一致性。靠，可重复使用的验证平台可以确保审计的准确性，并大大提高整体审计工作的效率。Synopsys和ARM联合推出了Verification Methodology Manual（VMM）[4]，而Mentor Graphics和Candence联合推出了Open Verification Methodology（OVM）[5]。些平台基于更强大的语言，如SystemVerilog，SystemC和e。是，为了在较小规模的模块级别进行验证，Verilog基于HDL的验证平台能够满足验证要求，而无需开发验证IP（VIP）。需要大规模的审计。NAND FLASH控制器验证平台[6]在NAND FLASH控制器验证方面表现良好，但不适用于NOR FLASH且缺乏同步验证。
文档基于SystemVerilog™断言（SVA）和Verilog HDL，提供了一个NOR FLASH控制器验证平台，用于验证控制器时序和数据。证平台理论总线功能模型总线功能模型（BFM）是一种总线模型，它将物理接口时序转换为更高的抽象接口级别，这允许它抽象总线互连并提供高级应用程序编程接口（API）。为您节省了验证平台的开发时间[7]。线功能模型的框图如图1所示。模拟了同步，物理接口和底层总线的行为，封装信令操作以实现为任务并提供统一的UI任务。编写验证令牌时，总线信号模型将基础信号转换为基础信号。1基于Verilog验证平台架构的基于BFM Schema Verilog的验证平台结构[8]如图2所示.Builder的主要功能是生成事务（某种格式）。据和某种功能）。准参考模型是根据设计要求编写的功能模块，并实现与DUT相同的功能。般来说，小模块由审核员自己完成。果模块更复杂，他必须注意其他模块。能模块可以由第三方提供，例如标准C代码，验证的基本元素和调试的主要位置。Test Harness通过易于使用的访问接口封装测试模块，以便于各种测试用例调用，屏蔽DUT内部接口和测试场景的细节，以及不同的测试场景。一方面，测试。可以重复使用测试工具来提高可重用性。务日志用于记录验证过程生成的数据和消息等信息。
表板用于将测试线束数据与标准参考模型进行比较，以查看功能是否正确。2基于Verilog SystemVerilog的审计平台图？ AssertionSystemVerilog是Verilog的最后继承者。Accellera委员会已将SystemVerilog 3.1定义为标准，声明该语言作为SVA标准的一部分包含在SystemVerilog中。SVA提供了一组工具来应用断言语言进行设计，其丰富的语法可以完美地描述时序条件。卓越主要体现在时间控制，设计和验证上。程师可以编写硬件设计的预期行为，创建总线协议的详细测试。图3所示，添加了包括AVS在内的验证环境：通过将AVS直接连接到设计，可以有效地与测试平台共享信息，以及模拟环境得到显着改善[9]。3显示了添加SVA后的验证环境。过将AVS直接连接到设计，它可以有效地与测试平台共享信息，同时提高重用AVS验证器的能力。3.该平台验证VAS平台验证NOR FLASH控制器的示意图NOR FLASH控制器功能NOR FLASH控制器（以下称为控制器FLASH）本文档中检查是基于设计的子模块FPGA控制NOR FLASH外部存储器的读取。制器的所有逻辑均适用于Xilinx Virtex5芯片系列。制器模块主要控制若干控制和寻址信号以与NOR FLASH交互。持S29GL512P SPANSION芯片。NOR FLASH控制器验证平台的组成根据NOR FLASH控制器的要求，该设计应验证控制器验证读入存储器和读取时序。于上述要求，本文档中包含的System Verilog™断言（SVA）和Verilog HDL验证平台如图4所示。4 NOR FLASH控制器验证平台图模型S29GL芯片模型相当于物理内存，恒温阀芯可以与实际内存设备产生类似的操作行为。
模型是从SPANSION官方网站下载的Verilog HDL芯片仿真模型。是FLASH芯片的仿真模型，可以根据S29GL512P芯片手册的同步要求对模型进行相应的读/写操作，并支持芯片的功能仿真。FLASH_bfm模量FLASH_bfm模块接口信号是FLASH芯片模型的读，写，则芯片选择信号和其它的内部包FLASH读取的图案，笔迹的活化，复位和其他功能（任务）时，平台验证表可以调用这些任务，执行FLASH芯片模型的具体操作。准参考模型和仪表板模块标准参考模型模块接口信号对应FLASH芯片模型芯片的激活，地址和数据信号，调用书面读取任务通过FLASH_bfm模块，执行与FLASH控制器相同的功能，并将读取数据输入仪表板。
表板模块主要用于比较标准参考模型模块读取的数据与FLASH控制器（即DUT）输出的数据。口是地址和数据信号，并输出模拟比较的结果。生器和时钟，复位信号模块发生器模块主要用于产生FLASH写数据和地址。设计采用直接分配方法，即在控制器设计条件下要蚀刻的数据文件的数据和地址被读入存储空间。用Verilog HDL的$ readmemh系统任务加载存储空间。据控制器要求，时钟和复位信号模块产生指定频率的时钟和为FLASH控制器指定的复位时间复位信号。FLASH控制器接收到相应的激励时，它产生FLASH读取，芯片选择授权和输入到FLASH芯片模型的地址信号。
SVA模块SVA接口信号由来自PLC的控制，地址和数据信号组成。接指令在顶级文件中用于将SVA模块链接到控制器模块的端口信号。证FLASH控制器读取时序是否满足S29GL512P芯片的要求。务日志模块该模块主要用于在验证过程中记录异常数据和信息。此设计中，该模块用于记录FLASH芯片模型中的地址和数据变化，该模型由Verilog HDL的$ fmonitor系统任务实现。证结果此验证平台中使用的系统环境是Windows操作系统。用Mentor Graphics Questa Sim 10.0c和HDL Designer Series 2011.1代码设计工具验证NOR FLASH控制器数据和时序。制器的数据验证仿真平台基于FLASH_bfm模块封装任务，FLASH模型的缓冲操作如图5所示。准参考模型基于提供的任务。FLASH_bfm模块读取FLASH模型示于图6 FLASH_OE_n是读取激活信号，FLASH_WE_n是写使能信号，FLASH_CE_n是激活信号到芯片选择，FLASH_addr是地址信号，FLASH_data是数据信号。幅图的比较表明，FLASH模型中写入的数据与标准参考模型读取的数据一致，这使得验证仿真模型的准确性成为可能。5仿真平台写缓冲区的波形图图6 FLASH模型波形图控制器在标准参考模型中的读取模型读取操作的结果FLASH如图7所示。中：FLASH_CE_n是控制器发送的芯片选择使能信号; FLASH_OE_n是控制器发送的读使能信号; FLASH_WE_n是控制器发送的写使能信号; FLASH_addr是控制器发送的地址信号; FLASH_data是接收数据信号的控制器。真波形显示控制器读取的数据与仿真器写入的数据以及标准参考模型读取的数据一致，即控制器可以正确读取写入外部NOR FLASH芯片。据。7 FLASH模型FLASH模型FLASH控制器读取FLASH波形图验证控制器同步本文使用SVA检查控制器时序同步图8显示了控制器断言操作的结果检查读操作的时钟周期。8 Tavav波形图图8：FLASH_CE_n是控制器芯片选择的激活信号; FLASH_OE_n是控制器的读使能信号; FLASH_WE_n是控制器的写使能信号; a_Tav是控制器的断言，以完成读时钟周期。取芯片手册所需的时间不能少于110 ns。
图中，第五个是断言波形，蓝色表示断言是“非活动”，绿色表示断言是“活动”，如果断言检测到同步错误，出现一个小红箭[10]。据该图的操作结果，读时钟周期满足要求。本文中，芯片选择和地址稳定在合法数据输出时间间隔（Telqv），合法数据输出的地址时间间隔（Tapa），也使用两个断言检查。论在本文档中，是否符合RTCA / DO设计保证规范？ 254，使用SVA和Verilog HDL构建NOR FLASH控制器验证平台。平台已正确检查了FPGA设计中的NOR FLASH控制器规范。台的可重用性和可测试性有利于将来对系统的验证，并且便于重复验证设计，这提高了验证的效率。
本文转载自
恒温阀芯 https://www.wisdom-thermostats.com