一种芯片验证的方法及系统技术方案

本发明专利技术公开了一种芯片验证的方法及系统，用以解决现有技术中由于手工操作而导致定浮点数转换精度、转换效率较低以及芯片验证效率较低的问题；该方法包括：通过操作接口向转换装置输入定点数或者浮点数；所述转换装置根据设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数，或者将输入的浮点数转换出对应的定点数；将定点数和浮点数分别输出给需要验证的芯片和软件验证算法进行相应的运算处理；将所述芯片运算的结果和所述算法运算的结果进行比较，当两者一致时确定所述芯片的硬件运算和软件运算正确。采用本发明专利技术提高了芯片验证效率和验证精度。

【技术实现步骤摘要】

本专利技术涉及计算机领域，特别涉及一种芯片验证的方法及系统。
技术介绍
现有芯片验证过程中，需要用户设置字符标识、字长，然后在设置的字符标识和字长对应的定标组中选择需要的定标，通过转换算法或转换公式手工将输入的定点数(或浮点数)转换出相应的浮点数(或定点数)；在转换后，如果判断该转换的数精度不符合要求，则需要用户重新选择定标，然后通过转换算法或公式进行手工转换，进一步判断转换的数是否符合精度要求，直到转换后的数据满足精度要求；现有芯片验证时，用户可能需要多次重复进行定浮点数的手工转换才能得到符合要求的数据，当需要进行大量的定浮点数转换时，手工转换非常繁琐，而且转换效率较低以及转换误差较大；另外，由于转换后需要把转换结果手工输入到芯片验证系统，而且定浮点的转换在硬件运算和算法运算中互为逆过程，所以需要手工来回的输入转换结果，因此存在定浮点转换和验证运算严重脱节，从而导致系统工作效率较低的问题。
技术实现思路
本专利技术提供一种芯片验证的方法及系统，用以解决现有技术中由于手工操作而导致定浮点数转换精度、转换效率较低以及芯片验证效率较低的问题。本专利技术提供如下技术方案一种芯片验证的方法，包括步骤通过操作接口向转换装置输入定点数或者浮点数；所述转换装置根据设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数，或者将输入的浮点数转换出对应的定点数；将定点数和浮点数对应输出给需要验证的芯片和软件验证算法进行相应的运算处理；将所述芯片运算的结果和所述算法运算的结果进行比较，当两者一致时确定所述芯片的硬件运算和软件运算正确。所述转换装置根据所述字符标识、字长和用户在对应定标组中选择的一个定标对输入的数进行转换，当转换后得到的数不满足精度要求时，所述转换装置根据用户重新选择的定标对所述输入的数重新进行转换。较佳的，所述转换装置根据所述字符标识、字长和对应定标组中的每一个定标分别进行转换，并输出转换后得到的数组中精度最高的数。所述定标组根据所述字符标识和字长确定。向转换装置输入浮点数时，所述转换装置将该浮点数转换出对应的定点数后，进一步将所述定点数转换出相应的浮点数，并将该浮点数输出给所述软件验证算法。一种芯片验证系统，包括操作接口，用于提供用户与转换模块之间的通信接口；转换模块，用于根据用户设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数，或者将输入的浮点数转换出对应的定点数；以及将定点数和浮点数对应输出给需要验证的芯片和软件验证算法进行相应的运算处理；需要验证的芯片，用于将定点数作为输入参数以进行相应的硬件运算处理；软件验证模块，用于将浮点数作为输入参数以进行相应的算法运算处理；比较模块，用于将芯片运算结果和算法运算结果进行比较；第二显示模块，用于根据所述比较模块的比较结果相应显示所述芯片的硬件运算和软件运算的结果。所述系统还包括 第一显示模块，用于显示所述转换模块转换出的定点数或浮点数；所述转换模块包括接收单元，用于通过所述操作接口接收用户设置的符号标识、字长和定标，以及用户输入的定点数或浮点数；转换单元，用于根据设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数，或者将输入的浮点数转换出对应的定点数；输出单元，用于将定点数和浮点数对应输出给需要验证的芯片和软件验证算法进行相应的运算处理。所述转换单元根据所述字符标识、字长和用户在对应定标组中选择的一个定标对输入的数进行转换得到相应的数。较佳的，所述转换单元根据所述字符标识、字长和对应定标组中的每一个定标对输入的数进行转换得到相应的数组。所述转换模块还包括选择单元，用于在转换后得到的数组中选择精度最高的数。所述接收单元接收到浮点数时，所述转换单元将该浮点数转换出对应的定点数后，进一步将所述定点数转换出相应的浮点数，所述输出单元将该浮点数输出给所述软件验证模块。本专利技术有益效果如下本专利技术芯片验证过程中，用户可以灵活设置符号标识、字长和定标，进一步根据设置的符号标识、字长和定标以及用户输入的定点数或浮点数进行定浮点数的自动转换，减少了定浮点数之间转换的工作量；另外，本专利技术中转换后得到的定点数或浮点数自动输入到芯片验证系统，提高了芯片验证系统的工作效率；本专利技术针对使用浮点数进行算法运算和使用定点数进行硬件运算的特点，灵活取数，提高了比对精度；而且当输入浮点数时，将该浮点数转换出定点数后，进一步将该定点数转换出浮点数作为算法运算的输入参数，该浮点数更为精确，因此解决了由于用户输入的浮点数不当以及由于字长、定标的限制而造成比对精度降低的问题；采用本专利技术提高了芯片的验证效率和验证精度。附图说明图1为本专利技术实施例中芯片验证的主要实现流程图；图2为本专利技术实施例中芯片验证系统结构示意图；图3为本专利技术实施例中转换模块结构示意图；图4为本专利技术实施例中用户输入定点数时芯片验证的实现流程图；图5为本专利技术实施例中用户输入浮点数时芯片验证的实现流程图。具体实施例方式本实施例中用户设置字符标识、字长和定标后通过操作接口将设置的参数和定点数或浮点数输入到转换装置，所述转换装置根据所述字符标识、字长和定标将输入的定点数转换出相应的浮点数，或者将输入的浮点数转换出相应的定点数，然后将转换后得到的定点数和浮点数对应输出给需要验证的芯片和软件验证算法进行相应的运算处理，当芯片运算结果和算法运算结果一致时确定该芯片的硬件运算和软件运算正确。如图1所示，本实施例中芯片验证的主要实现流程如下步骤100、通过操作接口向转换模块输入定点数或者浮点数。步骤101、转换模块根据设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数，或者将输入的浮点数转换出对应的定点数。步骤102、转换模块将定点数和浮点数对应输出给需要验证的芯片和软件验证算法。步骤103、需要验证的芯片和软件验证算法进行相应的运算处理。步骤104、将所述芯片运算的结果所述算法运算结果进行比较，当两者一致时确定所述芯片的硬件运算和软件运算正确。相应的，如图2所示，本实施例中一种芯片验证系统包括 操作接口20，用于提供用户和转换模块21之间的通信接口，用户将设置的参数和需要的定点数或浮点数通过该操作接口20输入到转换模块21；用户设置的参数包括符号标识、字长和定标等，所述符号标识是指有符号位或者无符号位；所述字长是指在芯片验证系统中规定的数的表示范围，一般可以设置为8位、16位、24位或者32位等；所述定标是用户从所述符号标识和字长对应的定标组中选择的需要的定标，所述定标组由所述字符标识和字长确定，例如对于字长是16位的有符号数，定标组中包括定标如下S0.15，S1.14，S2.13，……，S15.0，其中S2.13表示为在芯片中，用2位表示整数，用13位表示小数；第一位表示符号位，符号位是0时，表示正数，符号位是1时，表示负数；对于字长是16位的无符号数，定标组中包括定标如下S0.16，S1.15，S2.14，……，S16.0，其中S2.14表示为在芯片中，用2位表示整数，用14位表示小数，没有符号位。转换模块21，用于根据用户设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数，或者将输入的浮点数转换出对应的定点数；以及将转换后得到的定点数和浮点数输出到第一显示模块22，并将定点数和浮点数对应输出到需要验证的芯片2本文档来自技高网...

【技术保护点】
一种芯片验证的方法，其特征在于，包括步骤：通过操作接口向转换装置输入定点数或者浮点数；所述转换装置根据设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数，或者将输入的浮点数转换出对应的定点数；将定点数和浮点数 对应输出给需要验证的芯片和软件验证算法进行相应的运算处理；将所述芯片运算的结果和所述算法运算的结果进行比较，当两者一致时确定所述芯片的硬件运算和软件运算正确。

【技术特征摘要】

【专利技术属性】
技术研发人员：冯备战，游明琦，艾国，
申请(专利权)人：北京中星微电子有限公司，
类型：发明
国别省市：11[中国|北京]