CN1949184A - 一种芯片验证的方法及系统 - Google Patents

一种芯片验证的方法及系统 Download PDF

Info

Publication number
CN1949184A
CN1949184A CN 200610114650 CN200610114650A CN1949184A CN 1949184 A CN1949184 A CN 1949184A CN 200610114650 CN200610114650 CN 200610114650 CN 200610114650 A CN200610114650 A CN 200610114650A CN 1949184 A CN1949184 A CN 1949184A
Authority
CN
China
Prior art keywords
fixed
chip
calibration
point number
floating
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN 200610114650
Other languages
English (en)
Other versions
CN100389399C (zh
Inventor
冯备战
游明琦
艾国
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Vimicro Corp
Original Assignee
Vimicro Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Vimicro Corp filed Critical Vimicro Corp
Priority to CNB2006101146504A priority Critical patent/CN100389399C/zh
Publication of CN1949184A publication Critical patent/CN1949184A/zh
Application granted granted Critical
Publication of CN100389399C publication Critical patent/CN100389399C/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Stored Programmes (AREA)

Abstract

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

Description

一种芯片验证的方法及系统
技术领域
本发明涉及计算机领域,特别涉及一种芯片验证的方法及系统。
背景技术
现有芯片验证过程中,需要用户设置字符标识、字长,然后在设置的字符标识和字长对应的定标组中选择需要的定标,通过转换算法或转换公式手工将输入的定点数(或浮点数)转换出相应的浮点数(或定点数);在转换后,如果判断该转换的数精度不符合要求,则需要用户重新选择定标,然后通过转换算法或公式进行手工转换,进一步判断转换的数是否符合精度要求,直到转换后的数据满足精度要求;现有芯片验证时,用户可能需要多次重复进行定浮点数的手工转换才能得到符合要求的数据,当需要进行大量的定浮点数转换时,手工转换非常繁琐,而且转换效率较低以及转换误差较大;另外,由于转换后需要把转换结果手工输入到芯片验证系统,而且定浮点的转换在硬件运算和算法运算中互为逆过程,所以需要手工来回的输入转换结果,因此存在定浮点转换和验证运算严重脱节,从而导致系统工作效率较低的问题。
发明内容
本发明提供一种芯片验证的方法及系统,用以解决现有技术中由于手工操作而导致定浮点数转换精度、转换效率较低以及芯片验证效率较低的问题。
本发明提供如下技术方案:
一种芯片验证的方法,包括步骤:
通过操作接口向转换装置输入定点数或者浮点数;
所述转换装置根据设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数,或者将输入的浮点数转换出对应的定点数;
将定点数和浮点数对应输出给需要验证的芯片和软件验证算法进行相应的运算处理;
将所述芯片运算的结果和所述算法运算的结果进行比较,当两者一致时确定所述芯片的硬件运算和软件运算正确。
所述转换装置根据所述字符标识、字长和用户在对应定标组中选择的一个定标对输入的数进行转换,当转换后得到的数不满足精度要求时,所述转换装置根据用户重新选择的定标对所述输入的数重新进行转换。
较佳的,所述转换装置根据所述字符标识、字长和对应定标组中的每一个定标分别进行转换,并输出转换后得到的数组中精度最高的数。
所述定标组根据所述字符标识和字长确定。
向转换装置输入浮点数时,所述转换装置将该浮点数转换出对应的定点数后,进一步将所述定点数转换出相应的浮点数,并将该浮点数输出给所述软件验证算法。
一种芯片验证系统,包括:
操作接口,用于提供用户与转换模块之间的通信接口;
转换模块,用于根据用户设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数,或者将输入的浮点数转换出对应的定点数;以及将定点数和浮点数对应输出给需要验证的芯片和软件验证算法进行相应的运算处理;
需要验证的芯片,用于将定点数作为输入参数以进行相应的硬件运算处理;
软件验证模块,用于将浮点数作为输入参数以进行相应的算法运算处理;
比较模块,用于将芯片运算结果和算法运算结果进行比较;
第二显示模块,用于根据所述比较模块的比较结果相应显示所述芯片的硬件运算和软件运算的结果。
所述系统还包括:
第一显示模块,用于显示所述转换模块转换出的定点数或浮点数;
所述转换模块包括:
接收单元,用于通过所述操作接口接收用户设置的符号标识、字长和定标,以及用户输入的定点数或浮点数;
转换单元,用于根据设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数,或者将输入的浮点数转换出对应的定点数;
输出单元,用于将定点数和浮点数对应输出给需要验证的芯片和软件验证算法进行相应的运算处理。
所述转换单元根据所述字符标识、字长和用户在对应定标组中选择的一个定标对输入的数进行转换得到相应的数。
较佳的,所述转换单元根据所述字符标识、字长和对应定标组中的每一个定标对输入的数进行转换得到相应的数组。
所述转换模块还包括:
选择单元,用于在转换后得到的数组中选择精度最高的数。
所述接收单元接收到浮点数时,所述转换单元将该浮点数转换出对应的定点数后,进一步将所述定点数转换出相应的浮点数,所述输出单元将该浮点数输出给所述软件验证模块。
本发明有益效果如下:
本发明芯片验证过程中,用户可以灵活设置符号标识、字长和定标,进一步根据设置的符号标识、字长和定标以及用户输入的定点数或浮点数进行定浮点数的自动转换,减少了定浮点数之间转换的工作量;另外,本发明中转换后得到的定点数或浮点数自动输入到芯片验证系统,提高了芯片验证系统的工作效率;本发明针对使用浮点数进行算法运算和使用定点数进行硬件运算的特点,灵活取数,提高了比对精度;而且当输入浮点数时,将该浮点数转换出定点数后,进一步将该定点数转换出浮点数作为算法运算的输入参数,该浮点数更为精确,因此解决了由于用户输入的浮点数不当以及由于字长、定标的限制而造成比对精度降低的问题;采用本发明提高了芯片的验证效率和验证精度。
附图说明
图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,并将定点数和浮点数对应输出到需要验证的芯片23和软件验证模块24。转换模块21可以根据用户设置的字符标识、字长和用户在对应定标组中选择的一个定标对输入的定点数或浮点数进行转换,然后将转换后得到的浮点数或定点数输出给第一显示模块22;当用户判断转换后得到的数不满足精度要求时,通过操作接口20将重新选择的定标输入给转换模块21,所述转换模块21根据该定标对用户原来输入的定点数或浮点数重新进行转换,并将转换后得到的数输出给第一显示模块22;为了减少人为判断以更准确的得到满足精度的数据,所述转换模块21也可以根据用户设置的字符标识、字长以及对应定标组中的所有定标对输入的定点数或浮点数分别进行转换,然后输出转换后得到的数组中精度最高的数。
如图3所示,所述转换模块21包括:接收单元210,用于通过操作接口20接收用户设置的参数以及输入的定点数或浮点数;转换单元211,用于根据所述参数将输入的定点数转换出相应的浮点数,或者将输入的浮点数转换出相应的定点数;可以根据所述字符标识、字长和用户在对应定标组中选择的一个定标对输入的数进行转换得到一个相应的数;也可以根据所述字符标识、字长和对应定标组中的每一个定标对输入的数进行转换得到一个相应的数组;选择单元212,用于在转换后得到的数组中选择精度最高的数据;输出单元213,用于将所述转换单元211转换出的定点数和浮点数输出到需要验证的芯片23和软件验证模块24,以及将其输出到第一显示模块22。当接收单元210接收到浮点数时,转换单元211将该浮点数转换出定点数后将该定点数输出到第一显示模块22和需要验证的芯片23,然后将该定点数再转换出相应的浮点数,并将该浮点数输出到软件验证模块24。
第一显示模块22,用于显示所述转换模块21转换出的定点数或浮点数;即如果输入是定点数,则显示转换后得到的浮点数;如果输入是浮点数,则显示转换后得到的定点数。
需要验证的芯片23,用于将所述转换模块21输出的定点数作为硬件运算的寄存器参数,进行相应的硬件运算处理,并将运算结果输出给比较模块25。
软件验证模块24,用于将所述转换模块21输出的浮点数作为算法运算的参数,进行相应的算法运算处理,并将运算结果输出给比较模块25。
比较模块25,用于将硬件运算结果和算法运算结果进行比较,并将比较结果输出给第二显示模块26。
第二显示模块26,用于根据所述比较模块25的比较结果显示芯片的硬件运算和软件运算的结果;如果硬件运算结果和算法运算结果一致,则显示“正确”,表明芯片的硬件运算和软件运算正确;否则,显示“错误”,表明芯片的硬件运算和/或软件运算出现问题,此时需要测试人员查证问题发生原因。
下面以用户选择定标组中的定标为例对本实施例的芯片验证的实现过程作详细说明。
如图4所示,本实施例中用户输入定点数时实现芯片验证的过程如下:
步骤400、用户将设置符号标识、字长和定标以及需要的定点数输入到转换模块。
步骤401、将该定点数转换出相应的浮点数。
步骤402、显示转换后得到的浮点数,并将该浮点数输出到软件验证模块以及将接收到的定点数输出到需要验证的芯片。
步骤403、需要验证的芯片将所述定点数作为硬件运算的寄存器参数,进行相应的硬件运算并输出结果;软件验证模块将所述浮点数作为算法运算的输入参数,进行相应的硬件运算并输出结果。
步骤404、将硬件运算结果与算法运算结果进行比较。
步骤405、根据比较结果显示芯片硬件和软件运算的结果。
如图5所示,本实施例中用户输入浮点数时实现芯片验证的过程如下:
步骤500、用户将设置符号标识、字长和定标以及需要的浮点数输入到转换模块。
步骤501、将该浮点数转换出相应的定点数。
步骤502、显示转换后得到的定点数,并将该定点数输出到需要验证的芯片。
步骤503、根据用户设置的字符标识、字长和定标将所述定点数转换出相应的浮点数。
步骤504、显示转换后得到的浮点数,并将该浮点数输出到软件验证模块。
步骤505、需要验证的芯片将接收到的定点数作为硬件运算的寄存器参数,进行相应的硬件运算并输出结果;软件验证模块将接收到的浮点数作为算法运算的输入参数,进行相应的硬件运算并输出结果。
步骤506、将硬件运算的结果与算法运算的结果进行比较。
步骤507、根据比较结果显示芯片硬件和软件运算的结果。
本实施例中转换模块根据用户设置的字符标识、字长以及对应定标组中的每一个定标对用户输入的定点数或浮点数进行转换,然后将转换后得到的数组中精度较高的数输出以进行相应的运算处理,采用这种处理方式可以得到精度较高的数,因此提高了芯片验证系统的转换精度,其转换的实现过程与上述过程同理,不再赘述。
采用本发明可以简化芯片验证过程中定浮点数的转换过程,提高了硬件运算和算法运算的验证精度,另外,用户可以直观地得出输入的浮点数与转换后得到的浮点数之间的精度差别,从而为用户提供了参考数据,有利于提高工作效率。
显然,本领域的技术人员可以对本发明进行各种改动和变型而不脱离本发明的精神和范围。这样,倘若对本发明的这些修改和变型属于本发明权利要求及其等同技术的范围之内,则本发明也意图包含这些改动和变型在内。

Claims (12)

1、一种芯片验证的方法,其特征在于,包括步骤:
通过操作接口向转换装置输入定点数或者浮点数;
所述转换装置根据设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数,或者将输入的浮点数转换出对应的定点数;
将定点数和浮点数对应输出给需要验证的芯片和软件验证算法进行相应的运算处理;
将所述芯片运算的结果和所述算法运算的结果进行比较,当两者一致时确定所述芯片的硬件运算和软件运算正确。
2、如权利要求1所述的方法,其特征在于,所述转换装置根据所述字符标识、字长和用户在对应定标组中选择的一个定标对输入的数进行转换,当转换后得到的数不满足精度要求时,所述转换装置根据用户重新选择的定标对所述输入的数重新进行转换。
3、如权利要求1所述的方法,其特征在于,所述转换装置根据所述字符标识、字长和对应定标组中的每一个定标分别进行转换,并输出转换后得到的数组中精度最高的数。
4、如权利要求2或3所述的方法,其特征在于,所述定标组根据所述字符标识和字长确定。
5、如权利要求1、2或3所述的方法,其特征在于,向转换装置输入浮点数时,所述转换装置将该浮点数转换出对应的定点数后,进一步将所述定点数转换出相应的浮点数,并将该浮点数输出给所述软件验证算法。
6、一种芯片验证系统,其特征在于,包括:
操作接口,用于提供用户与转换模块之间的通信接口;
转换模块,用于根据用户设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数,或者将输入的浮点数转换出对应的定点数;以及将定点数和浮点数对应输出给需要验证的芯片和软件验证算法进行相应的运算处理;
需要验证的芯片,用于将定点数作为输入参数以进行相应的硬件运算处理;
软件验证模块,用于将浮点数作为输入参数以进行相应的算法运算处理;
比较模块,用于将芯片运算结果和算法运算结果进行比较;
第二显示模块,用于根据所述比较模块的比较结果相应显示所述芯片的硬件运算和软件运算的结果。
7、如权利要求6所述的芯片验证系统,其特征在于,所述系统还包括:
第一显示模块,用于显示所述转换模块转换出的定点数或浮点数。
8、如权利要求6或7所述的芯片验证系统,其特征在于,所述转换模块包括:
接收单元,用于通过所述操作接口接收用户设置的符号标识、字长和定标,以及用户输入的定点数或浮点数;
转换单元,用于根据设置的符号标识、字长和定标将输入的定点数转换出对应的浮点数,或者将输入的浮点数转换出对应的定点数;
输出单元,用于将定点数和浮点数对应输出给需要验证的芯片和软件验证算法进行相应的运算处理。
9、如权利要求8所述的芯片验证系统,其特征在于,所述转换单元根据所述字符标识、字长和用户在对应定标组中选择的一个定标对输入的数进行转换得到相应的数。
10、如权利要求8所述的芯片验证系统,其特征在于,所述转换单元根据所述字符标识、字长和对应定标组中的每一个定标对输入的数进行转换得到相应的数组。
11、如权利要求10所述的芯片验证系统,其特征在于,所述转换模块还包括:
选择单元,用于在转换后得到的数组中选择精度最高的数。
12、如权利要求8所述的芯片验证系统,其特征在于,所述接收单元接收到浮点数时,所述转换单元将该浮点数转换出对应的定点数后,进一步将所述定点数转换出相应的浮点数,所述输出单元将该浮点数输出给所述软件验证模块。
CNB2006101146504A 2006-11-20 2006-11-20 一种芯片验证的方法及系统 Expired - Fee Related CN100389399C (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CNB2006101146504A CN100389399C (zh) 2006-11-20 2006-11-20 一种芯片验证的方法及系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CNB2006101146504A CN100389399C (zh) 2006-11-20 2006-11-20 一种芯片验证的方法及系统

Publications (2)

Publication Number Publication Date
CN1949184A true CN1949184A (zh) 2007-04-18
CN100389399C CN100389399C (zh) 2008-05-21

Family

ID=38018708

Family Applications (1)

Application Number Title Priority Date Filing Date
CNB2006101146504A Expired - Fee Related CN100389399C (zh) 2006-11-20 2006-11-20 一种芯片验证的方法及系统

Country Status (1)

Country Link
CN (1) CN100389399C (zh)

Cited By (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101605071B (zh) * 2009-07-02 2011-12-07 中兴通讯股份有限公司 一种传输协议芯片的验证方法和装置
CN103093713A (zh) * 2011-10-31 2013-05-08 安凯(广州)微电子技术有限公司 一种基于fpga的芯片验证方法、装置及系统
CN104090994A (zh) * 2014-06-05 2014-10-08 潍柴动力股份有限公司 一种模型转换方法、测试方法、转换系统及测试系统
CN104486169A (zh) * 2015-01-07 2015-04-01 北京华力创通科技股份有限公司 可重用自动检测及随机验证系统和方法
CN107850641A (zh) * 2015-06-06 2018-03-27 小利兰·斯坦福大学理事会 片上系统(SoC)的系统级验证
CN113778373A (zh) * 2021-09-16 2021-12-10 卡斯柯信号有限公司 一种安全浮点运算方法和系统

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113742202A (zh) * 2020-05-29 2021-12-03 上海商汤智能科技有限公司 Ai芯片验证系统、方法、设备及存储介质

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6490545B1 (en) * 2000-03-06 2002-12-03 Sony Corporation Method and apparatus for adaptive co-verification of software and hardware designs
CN100340987C (zh) * 2005-07-08 2007-10-03 北京中星微电子有限公司 芯片验证系统和方法
CN100340988C (zh) * 2005-07-08 2007-10-03 北京中星微电子有限公司 芯片验证系统和方法

Cited By (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101605071B (zh) * 2009-07-02 2011-12-07 中兴通讯股份有限公司 一种传输协议芯片的验证方法和装置
CN103093713A (zh) * 2011-10-31 2013-05-08 安凯(广州)微电子技术有限公司 一种基于fpga的芯片验证方法、装置及系统
CN103093713B (zh) * 2011-10-31 2016-03-09 安凯(广州)微电子技术有限公司 一种基于fpga的芯片验证方法、装置及系统
CN104090994A (zh) * 2014-06-05 2014-10-08 潍柴动力股份有限公司 一种模型转换方法、测试方法、转换系统及测试系统
CN104486169A (zh) * 2015-01-07 2015-04-01 北京华力创通科技股份有限公司 可重用自动检测及随机验证系统和方法
CN104486169B (zh) * 2015-01-07 2018-07-20 北京华力创通科技股份有限公司 可重用自动检测及随机验证系统和方法
CN107850641A (zh) * 2015-06-06 2018-03-27 小利兰·斯坦福大学理事会 片上系统(SoC)的系统级验证
CN107850641B (zh) * 2015-06-06 2020-08-21 小利兰·斯坦福大学理事会 片上系统(SoC)的系统级验证
CN113778373A (zh) * 2021-09-16 2021-12-10 卡斯柯信号有限公司 一种安全浮点运算方法和系统
CN113778373B (zh) * 2021-09-16 2023-10-31 卡斯柯信号有限公司 一种安全浮点运算方法和系统

Also Published As

Publication number Publication date
CN100389399C (zh) 2008-05-21

Similar Documents

Publication Publication Date Title
CN1949184A (zh) 一种芯片验证的方法及系统
CN101036125A (zh) 具有开发接口适用性的数据处理系统内的掩码
CN1851682A (zh) 一种串行外设接口的实现方法
CN101051332A (zh) 一种soc芯片系统级验证系统及方法
CN1773459A (zh) 从同步冗余设备选择状态数据的方法和系统
CN1292360C (zh) 一种实现自动读写内部集成电路设备的装置和方法
CN1928576A (zh) 芯片测试系统和芯片测试方法
CN1855083A (zh) 主设备及其控制方法和具有主设备的电子设备
CN101042685A (zh) 内嵌式系统与其控制方法
CN101042672A (zh) 一种应用于数字信号处理器的高速仿真器及其操作方法
CN1786884A (zh) 在要求多个键的终端中提高键识别精确度的装置及其方法
CN1466348A (zh) 高速数据链路控制协议发送处理模块及其数据处理方法
CN1265281C (zh) 浮点数的对数运算方法和装置
CN101075219A (zh) 一种中断处理方法及系统
CN1975661A (zh) 一种集成电路中的数据运算方法及装置
CN100340940C (zh) 对数转换方法及其装置
CN101056312A (zh) 一种设备间通信的方法及系统
CN2850141Y (zh) 基于dsp芯片的发电机励磁控制器的usb通讯装置
CN101055479A (zh) 一种实现非时钟控制寄存器数据更新的系统及方法
CN2704880Y (zh) 触摸屏分配器
CN1848077A (zh) 最适化统一开发流程
CN1545652A (zh) 乘法器电路
CN101039155A (zh) 控制通信接口的同步时钟的方法、装置及系统
CN1203417C (zh) 分离式串行ata实体层的电路构造
CN1815448A (zh) 一种高效易维护有限状态机的实现方法

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
C17 Cessation of patent right
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20080521

Termination date: 20121120