专利名称：显示控制类ip的验证平台的制作方法
显示控制类IP的验证平台
技术领域：
本发明涉及集成电路IP验证平台，具体是指一种显示控制类IP的验证平台。背景技术：
随着微电子技术的飞速发展，集成电路规模按照摩尔定律(微芯片上集成的晶体管数目每18个月翻一番)飞速提高，片上系统(System On Chip，简称S0C)技术成为国际超大规模集成电路的发展趋势。在SOC系统设计中，为了能够快速、稳定的形成产品， IP (intellectual property)核积累和复用技术逐渐成为各个芯片厂商的首选。在这样的背景下，IP复用技术成为了集成电路设计的一个重要分支，很多设计厂商在购买其它公司的IP核的同时，也越来越重视本公司的IP核设计和积累。在IP累积过程中，设计和验证是最重要的两个部分，而随着IP电路设计功能和结构的日益复杂，验证的工作量和难度更是以几何级数的速度上升。验证就是通过各种仿真、 数据比较等手段来证明设计的正确性的过程，由于要在验证过程中需要证明设计在定义的所有的工作条件范围内不能出现错误，所以验证的工作量相对于设计来说更加巨大。在部分复杂IP的研发过程中，验证的时间甚至占到了总时间的80%以上。而显示控制类IP作为和用户最直接的视觉屏幕的控制单元，对整个系统来说非常重要，可以说没有一个质量优良的显示控制单元，就没有一款优质的消费类产品。而由于现在的显示设备五花八门，设计一款通用性和鲁棒性很强的显示控制类 IP，对应的验证工作十分巨大，目前还没有一种通用高效的显示控制类IP验证平台来完成显示控制类IP完备的验证。
发明内容本发明所要解决的技术问题在于提供一种通用高效自动的显示控制类IP验证平台，该平台可以验证IP对各种显示设备的支持。本发明采用以下技术方案解决上述技术问题显示控制类IP的验证平台，包括随机激励产生单元、存储模型、读数据采集单元、 待验证显示控制器、显示设备模型；所述随机激励产生单元，根据随机数据产生的范围配置来产生随机激励数据文件；所述存储模型，负责存储随机激励数据文件，以供待验证显示控制器读取使用；读数据采集单元，负责在显示控制器读取存储模型中的图像数据时采集显示控制器读取到的图像数据，并将数据导出形成读数据文件；待验证显示控制器，为待验证的显示控制器电路，该电路完成的功能为读取存储器中的图像数据，并根据配置产生符合某种屏幕类型需要的时序和数据，使屏幕可以正确显示期望的图像；显示设备模型，负责接收待验证显示控制器的输出数据，该模型可以根据配置的屏幕类型判断显示控制器输出的时序是否符合该类型屏幕的要求，如果不满足要求会报错，如果时序正确则将有效的显示数据提取出来，并产生一个显示数据文件。本发明的优点在于是一种通用的显示控制类IP验证平台，该平台可以对各种显示设备进行验证，根据配置自动产生激励向量，自动提取和比较显示数据，这样就可大大减少验证人员的工作量和验证时间，通过完备的验证进一步保证IP的质量。
下面参照附图结合实施例对本发明作进一步的描述。图1是本发明显示控制类IP验证平台框架图。图2是本发明中显示设备模型的结构图。图3是本发明中随机激励产生单元结构图。
具体实施方式如图1所示，显示控制类IP的验证平台，包括随机激励产生单元、存储模型、读数据采集单元、待验证显示控制器、显示设备模型；所述随机激励产生单元，根据随机数据产生的范围配置来产生随机激励数据文件；所述存储模型，负责存储随机激励数据文件，以供待验证显示控制器读取使用；读数据采集单元，负责在显示控制器读取存储模型中的图像数据时采集显示控制器读取到的图像数据，并将数据导出形成读数据文件；待验证显示控制器，为待验证的显示控制器电路，该电路完成的功能为读取存储器中的图像数据，并根据配置产生符合某种屏幕类型需要的时序和数据，使屏幕可以正确显示期望的图像；显示设备模型，负责接收待验证显示控制器的输出数据，该模型可以根据配置的屏幕类型判断显示控制器输出的时序是否符合该类型屏幕的要求，如果不满足要求会报错，如果时序正确则将有效的显示数据提取出来，并产生一个显示数据文件。图2是显示设备模型结构图。显示设备模型的工作流程屏幕类型配置信息存储在屏幕类型配置单元；根据屏幕类型配置单元的配置信息，屏幕类型时序解析单元根据该类型屏幕所需要的行场同步信息解析得到以下信息每行中有效数据起始点和长度信息；每场中有效行的起始点和有效数据行数信息。并将解析出来的信息送往每行有效数据起始点和长度信息单元和每场中有效行的起始点和有效数据行数信息单元存储；模型开始工作时，每行像素计数器根据每行中有效数据起始点和长度信息从显示数据流中提取每行有效数据，并将有效数据送往行数计数器；行数计数器根据每场中有效行的起始点和有效数据行数信息判断当前行是否是有效行，如果是有效行则将该行的有效数据导入显示数据文件。图3是随机激励产生单元结构图。随机激励产生单元工作流程
随机范围配置信息包括最大宽度和最小宽度，最大高度和最小高度，宽度变化的步进值，高度变化的步进值；宽度相关配置信息存储在宽度随机配置单元，高度相关配置信息存储在高度随机配置单元；从最小宽度和最小高度开始产生当前随机图像的宽度和高度，分别存储于当前产生随机图像的宽度单元和当前产生随机图像的高度单元；随机像素产生单元负责产生随机像素值，并送往宽度计数器；宽度计数器负责根据当前随机图像的宽度信息来计算每行图像的像素个数，产生一行数据后送往高度计数器；高度计数器负责根据当前随机图像的高度信息来计算行数是否已经到达当前随机图像的高度，如果还没到达则将整行数据导入随机激励数据文件中，如果已经到达，则完成本次随机图像激励数据文件的产生；当验证平台完成一次随机激励文件的验证后，开始下一次随机图像的产生，此时宽度步进控制器和高度步进控制器根据步进设置向上累加，直到到达最大随机范围，则完成本次随机激励范围内所有的随机激励文件产生工作。本发明显示控制类IP的验证平台具体工作流程1.在使用验证环境开始工作前，需要对随机激励产生单元和显示设备模型进行配置。配置内容为向随机激励产生模块配置屏幕类型和随机范围配置，向显示设备模型配置屏幕类型。随机范围配置包括需要测试的显示图像宽度范围和高度范围，测试图像大小的宽度步进值和高度步进值；2.配置完毕后，平台开始验证工作。首先随机激励产生单元从随机范围的最小值开始产生一个随机图像对应的激励数据文件，该文件的数据会被初始化到存储模型中；3.然后待验证显示控制器被开启和开始工作，显示控制器会从存储模型中读取随机图像的数据，其中的读取数据会被读数据采集单元采集并产生一个读取数据文件，该文件可以用于debug过程中的检查读数据是否正确；4.待验证显示控制器读取图像数据后，会产生对应屏幕所需要的时序的数据流， 数据流被送往显示设备模型；5.显示设备模型接收显示控制器的显示数据流后，会解析有效数据，并将有效数据导出产生一个显示数据文件，该文件用于和最初的随机激励数据文件进行比对，用于确认是否显示控制单元可以完成正确在对应显示设备上显示的工作；6.当前一个随机图像文件显示完成后，随机激励产生单元会根据步进的设置来产生下一个随机图像数据文件，步进顺序是按照配置的步进值每次累加，直到到达配置的最大随机宽度和高度范围。本发明是一种通用的显示控制类IP验证平台，该平台可以对各种显示设备进行验证，根据配置自动产生激励向量，自动提取和比较显示数据，这样就可大大减少验证人员的工作量和验证时间，通过完备的验证进一步保证IP的质量。以上所述仅为本发明的较佳实施用例而已，并非用于限定本发明的保护范图。凡在本发明的精神和原则之内，所作的任何修改、等同替换以及改进等，均应包含在本发明的保护范围之内。
权利要求
1.显示控制类IP的验证平台，其特征在于包括随机激励产生单元、存储模型、读数据采集单元、待验证显示控制器、显示设备模型；所述随机激励产生单元，根据随机数据产生的范围配置来产生随机激励数据文件； 所述存储模型，负责存储随机激励数据文件，以供待验证显示控制器读取使用； 读数据采集单元，负责在显示控制器读取存储模型中的图像数据时采集显示控制器读取到的图像数据，并将数据导出形成读数据文件；待验证显示控制器，为待验证的显示控制器电路，该电路完成的功能为读取存储器中的图像数据，并根据配置产生符合某种屏幕类型需要的时序和数据，使屏幕可以正确显示期望的图像；显示设备模型，负责接收待验证显示控制器的输出数据，该模型可以根据配置的屏幕类型判断显示控制器输出的时序是否符合该类型屏幕的要求，如果不满足要求会报错，如果时序正确则将有效的显示数据提取出来，并产生一个显示数据文件。
全文摘要
本发明提供一种通用高效自动的显示控制类IP验证平台，该平台可以验证IP对各种显示设备的支持。该平台结构包括随机激励产生单元、存储模型、读数据采集单元、待验证显示控制器、显示设备模型。本发明是一种通用的显示控制类IP验证平台，该平台可以对各种显示设备进行验证，根据配置自动产生激励向量，自动提取和比较显示数据，这样就可大大减少验证人员的工作量和验证时间，通过完备的验证进一步保证IP的质量。
文档编号G06F17/50GK102567589SQ20121001604
公开日2012年7月11日 申请日期2012年1月18日 优先权日2012年1月18日
发明者廖裕民 申请人:福州瑞芯微电子有限公司