一种转换控制器的验证方法及系统技术方案

本发明专利技术适用于芯片设计验证技术领域，提供了一种转换控制器的验证方法及系统，所述方法包括下述步骤：根据对DMA总线操作进行描述的事务获取与事务相关的数据，并由所述事务和所述获取的数据生成控制事务。监测所述转换控制器接收或发送的DMA总线时序，解析获取所述总线时序中的控制信息作为监测事务的控制信息，根据所述控制信息从预先存储的与AXI总线地址读写相关的数据中读取所述控制信息对应的数据作为监测事务的数据信息。将所述控制事务与所述监测事务进行对比，判断所述控制事务的控制信息和数据信息与所述监测事务的控制信息和数据信息是否一致。本发明专利技术的验证环境搭建过程简单，可移植性良好。

【技术实现步骤摘要】

本专利技术属于芯片设计验证
，尤其涉及一种转换控制器的验证方法及系统。
技术介绍
在现代的多媒体芯片(Integrate Circuit, IC)设计中，经常需要根据系统或是模 块的要求，通过不同的总线上传和下载大量的数据。这就需要ー个总线间的转换器模块使不同总线上的数据和命令进行转换并顺利进行上传和下载数据，由于这种转换器模块通常处于系统级，所以一旦该模块出现问题很可能导致整个芯片的设计失败，因此，对其进行充分的验证也就显的尤为重要。直接存储器访问(DirectMemory Access,DMA)总线到 AXI (AdvancedeXtensibleInterface)总线转换控制器,接收DMA总线slave (从模块,转换控制器是DMA总线的主模块，控制数据的上传和下载)模块要进行数据传输的请求，通过总线转换的算法，转换为AXI总线的命令，通过对DMA请求上传或下载数据的判断，控制AXI总线的命令和数据总线的读写，DMA总线到AXI总线转换控制器与外部连接示意图，如图I所示。现有的从DMA总线到AXI总线转换控制器的验证环境的结构示意图，如图2所示，通常是将DMA总线事务按照转换控制器算法进行拆分，拆成对应于AXI总线的事务，然后与AXI总线接ロ接收到的AXI总线事务一一进行比对，达到对DMA总线到AXI总线转换控制器的验证功能。从验证的角度讲，现有的方案是比较正常的验证思路，模拟设计功能从而达到对设计的验证，但是验证环境搭建并不简单，验证者要对设计的算法和思路进行充分的了解，然后用验证语言搭建ー个和设计模块功能完全一致的模拟环境，从而得出正确的结果并进行事务的比对。验证环境虽然可以对设计的功能进行正确的验证的，但是由于比较复杂，搭建和调试的时间也相对比较长，而且如果有其它总线的转换控制器要验证，这样ー个验证环境几乎没有多少可重用的地方，因为接ロ总线不一致，转换算法也不一致，要进行验证只能重新写一个新的验证环境，费时费力，可移植性不好。综上，现有技术的验证环境的搭建过程复杂，且重用性低，可移植性比较差。
技术实现思路
本专利技术实施例的目的在于提供一种转换控制器的验证方法，g在解决现有验证环境的搭建过程十分复杂，且重用性低，可移植性比较差的问题。本专利技术实施例是这样实现的，一种转换控制器的验证方法，所述方法基于VMM验证平台，所述方法包括下述步骤根据对DMA总线操作进行描述的事务获取与事务相关的数据，并由所述事务和所述获取的数据生成控制事务；监测所述转换控制器接收或发送的DMA总线时序，解析获取所述总线时序中的控制信息作为监测事务的控制信息，根据所述控制信息从预先存储的与AXI总线地址读写相关的数据中读取所述控制信息对应的数据作为监测事务的数据信息；将所述控制事务与所述监测事务进行对比，判断所述控制事务的控制信息和数据信息与所述监测事务的控制信息和数据信息是否一致。本专利技术实施例还提供了ー种转换控制器的验证系统，所述系统基于VMM验证平台，所述系统包括存储器，用于预先存储与AXI总线地址读写相关的数据；DMA总线从模块，用于根据对DMA总线操作进行描述的事务获取与事务相关的数据，并由所述事务和所述获取的数据生成控制事务； 监测器，用于监测所述转换控制器接收或发送的DMA总线时序，解析获取所述总线时序中的控制信息作为监测事务的控制信息，根据所述控制信息从预先存储的与AXI总线地址读写相关的数据中读取所述控制信息对应的数据作为监测事务的数据信息；计分板，用于将所述DMA总线从模块生成的控制事务与所述监测器获取的监测事务进行对比，判断所述控制事务的控制信息和数据信息与所述监测事务的控制信息和数据イM息是否一致。本专利技术实施例通过监测转换控制器接收或发送的DMA总线时序，并解析DMA总线时序，以生成监测事务，并将监测事务与控制事务进行对比，当控制事务的控制信息和数据信息与监测事务的控制信息和数据信息都一致吋，则转换控制器转换正确，否则错误，该方法只需对转换控制器的DMA总线时序进行监测和解析，无需对转换控制器的算法进行研究，验证环境创建过程简单；此外，算法修改升级或是做其它的内部修改吋，只要总线接ロ总线不变，验证环境也可以在无需做任何修改的情况下，正确验证该控制器的正确性，重用性很高；即使当控制器的接ロ总线改变时，虽然对接ロ总线的解析部分要做相应的修改，但是其它部分都可以沿用原环境不做修改，也无需对总线转换的算法进行研究，可移植性好。附图说明图I是DMA总线到AXI总线转换控制器与外部连接的示意图；图2是现有的从DMA总线到AXI总线转换控制器的验证环境的结构示意图；图3是本专利技术实施例一提供的转换控制器的验证方法的实现的流程图；图4是本专利技术实施例ニ提供的转换控制器的验证方法的实现的流程图；图5是本专利技术实施例三提供的转换控制器的验证系统的结构图；图6是本专利技术实施例四提供的DMA总线从模块的结构图。具体实施例方式为了使本专利技术的目的、技术方案及优点更加清楚明白，以下结合附图及实施例，对本专利技术进行进ー步详细说明。应当理解，此处所描述的具体实施例仅仅用以解释本专利技术，并不用于限定本专利技术。在本专利技术实施例中，通过对转换控制器的DMA总线操作进行监测和解析，生成监测事务，并将监测事务与根据实际操作生成的控制事务进行比较，当两者的控制信息和数据信息相同吋，转换控制器转换正确，验证环境的搭建过程简单，重用性高，可移植性好。本专利技术实施例是这样实现的，一种转换控制器的验证方法，所述方法基于VMM验证平台，所述方法包括下述步骤根据对DMA总线操作进行描述的事务获取与事务相关的数据，并由所述事务和所述获取的数据生成控制事务；监测所述转换控制器接收或发送的DMA总线时序，解析获取所述总线时序中的控制信息作为监测事务的控制信息，根据所述控制信息从预先存储的与AXI总线地址读写相关的数据中读取所述控制信息对应的数据作为监测事务的数据信息；将所述控制事务与所述监测事务进行对比，判断所述控制事务的控制信息和数据信息与所述监测事务的控制信息和数据信息是否一致。 本专利技术实施例还提供了ー种转换控制器的验证系统，所述系统基于VMM验证平台，所述系统包括存储器，用于预先存储与AXI总线地址读写相关的数据；DMA总线从模块，用于根据对DMA总线操作进行描述的事务获取与事务相关的数据，并由所述事务和所述获取的数据生成控制事务；监测器，用于监测所述转换控制器接收或发送的DMA总线时序，解析获取所述总线时序中的控制信息作为监测事务的控制信息，根据所述控制信息从预先存储的与AXI总线地址读写相关的数据中读取所述控制信息对应的数据作为监测事务的数据信息；计分板，用于将所述DMA总线从模块生成的控制事务与所述监测器获取的监测事务进行对比，判断所述控制事务的控制信息和数据信息与所述监测事务的控制信息和数据イM息是否一致。本专利技术实施例通过监测转换控制器接收或发送的DMA总线时序，并解析DMA总线时序，以生成监测事务，并将监测事务与控制事务进行对比，当控制事务的控制信息和数据信息与监测事务的控制信息和数据信息都一致吋，则转换控制器转换正确，否则错误，该方法只需对转换控制器的DMA总线时序进行监测和解析，无需对转换控制器的算法进行研究，验证环境创建过程简单；此外，算法修改本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种转换控制器的验证方法，其特征在于，所述方法基于VMM验证平台，所述方法包括下述步骤 根据对DMA总线操作进行描述的事务获取与事务相关的数据，并由所述事务和所述获取的数据生成控制事务； 监测所述转换控制器接收或发送的DMA总线时序，解析获取所述总线时序中的控制信息作为监测事务的控制信息，根据所述控制信息从预先存储的与AXI总线地址读写相关的数据中读取所述控制信息对应的数据作为监测事务的数据信息； 将所述控制事务与所述监测事务进行对比，判断所述控制事务的控制信息和数据信息与所述监测事务的控制信息和数据信息是否一致。2.如权利要求I所述的方法，其特征在于，在所述根据对DMA总线操作进行描述的事务获取与事务相关的数据，并由所述事务和所述获取的数据生成控制事务的步骤之前，所述方法还包括下述步骤 产生对DMA总线操作进行描述的事务，所述事务包括控制信息和数据信息。3.如权利要求I所述的方法，其特征在于，所述根据对DMA总线操作进行描述的事务获取与事务相关的数据，并由所述事务和所述获取的数据生成控制事务的步骤具体包括 根据对DMA总线操作进行描述的事务，生成符合DMA总线时序的DMA总线操作，将所述DMA总线操作发送给DMA总线到AXI总线转换控制器； 获取AXI模块根据DMA总线操作经过转换控制器转换的AXI总线操作，对预先存储的与AXI总线地址读写相关的数据进行读写的数据； 根据所述事务及读写获取的数据，生成控制事务。4.如权利要求3所述的方法，其特征在于，所述根据所述事务及读写获取的数据，生成控制事务的步骤具体为当所述事务的控制信息部分的DMA请求是写操作吋，DMA从模块将所述事务的控制信息作为所述控制事务的控制信息，将所述事务的数据信息作为所述控制事务的数据信息；当所述事务的控制信息部分的DMA请求是读操作吋，DMA从模块将所述事务的控制信息作为所述控制事务的控制信息，将通过转换控制器从预先存储的与AXI总线地址读写相关的数据中读取的数据作为控制事务的数据信息。5.如权利要求I所述的方法，其特征在于，所述总线操作为读操作或者写操作。6.一...

【专利技术属性】
技术研发人员：赵玉梅，徐骏宇，胡胜发，
申请(专利权)人：安凯广州微电子技术有限公司，
类型：发明
国别省市：