CN100389399C - Method and system of chip checking - Google Patents
Method and system of chip checking Download PDFInfo
- Publication number
- CN100389399C CN100389399C CNB2006101146504A CN200610114650A CN100389399C CN 100389399 C CN100389399 C CN 100389399C CN B2006101146504 A CNB2006101146504 A CN B2006101146504A CN 200610114650 A CN200610114650 A CN 200610114650A CN 100389399 C CN100389399 C CN 100389399C
- Authority
- CN
- China
- Prior art keywords
- fixed
- chip
- input
- 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.)
- Expired - Fee Related
Links
- 238000000034 method Methods 0.000 title claims abstract description 29
- 238000007667 floating Methods 0.000 claims abstract description 110
- 238000006243 chemical reaction Methods 0.000 claims abstract description 52
- 230000008569 process Effects 0.000 claims abstract description 14
- 238000012545 processing Methods 0.000 claims description 14
- 238000004364 calculation method Methods 0.000 claims description 6
- 230000000052 comparative effect Effects 0.000 claims description 6
- 230000008676 import Effects 0.000 claims description 6
- 238000004891 communication Methods 0.000 claims description 3
- 238000012795 verification Methods 0.000 abstract description 4
- 238000012986 modification Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 238000012546 transfer Methods 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 2
- 230000009466 transformation Effects 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 230000009467 reduction Effects 0.000 description 1
Images
Landscapes
- Stored Programmes (AREA)
Abstract
The invention discloses chip verification method and system. The method includes following steps: using operating interface to input fixed-point number or floating-point number to the conversion device; converting the fixed point number into the corresponding floating one according to the symbol mark, word length, and calibrate or converting the floating point number into the fixed one; outputting them to the verified chip and software verification algorithm to process corresponding operation; comparing the chip operative result with the algorithm operative result; when they are the same the hardware and software operation of the chip are right. The invention can be used to increase chip verification efficiency and precision.
Description
Technical field
The present invention relates to computer realm, particularly a kind of method and system of chip checking.
Background technology
In the existing chip checking process, need the user that symbol logo, word length are set, the calibration that selection needs in the calibration group of symbol logo that is provided with and word length correspondence is then changed out corresponding floating number (or fixed-point number) by transfer algorithm or the manual fixed-point number (or floating number) with input of conversion formula; After conversion, if judge that several precision of this conversion are undesirable, then need the user to reselect calibration, carry out manual conversion by transfer algorithm or formula then, whether the number of further judging conversion meets accuracy requirement, and the data after conversion satisfy accuracy requirement; When having chip checking now, the craft conversion that the user may need repeatedly to repeat the fixed and floating number just can obtain satisfactory data, when needs carried out a large amount of fixed and floating number conversions, manual conversion was very loaded down with trivial details, and conversion efficiency is lower and transformed error is bigger; In addition, owing to need after the conversion the manual chip checking system that is input to of transformation result, and the conversion of fixed and floating inverse process each other in hardware computing and algorithm computing, so need manual input transformation result back and forth, therefore exist fixed and floating conversion and checking computing seriously to disconnect, thereby cause the lower problem of system works efficient.
Summary of the invention
The invention provides a kind of method and system of chip checking, in order to solve in the prior art because fixed and floating number conversion precision, conversion efficiency is lower and chip checking efficient the is lower problem of causing hand-manipulated.
The invention provides following technical scheme:
A kind of method of chip checking comprises step:
Import fixed-point number or floating number by operation-interface to conversion equipment;
Described conversion equipment is changed out corresponding floating number according to the symbol logo, word length and the calibration that are provided with the fixed-point number of input, perhaps the floating number of input is changed out corresponding fixed-point number;
The fixed-point number of described input is exported to the chip and the software verification algorithm that need to verify with the floating number correspondence that is converted to carry out corresponding operation processing, perhaps
The floating number of described input and the fixed-point number correspondence that is converted to are exported to the software verification algorithm and needed the chip of checking to carry out corresponding operation processing;
The result of described chip computing and the result of described algorithm computing are compared, determine that when both are consistent the hardware computing of described chip and software computing are correct.
Described conversion equipment is changed the number of input according to the calibration that described symbol logo, word length and user select in correspondence calibration group, when the number that obtains after the conversion did not satisfy accuracy requirement, described conversion equipment was changed the number of described input again according to the calibration that the user reselects.
Preferable, described conversion equipment is changed respectively according to each calibration in described symbol logo, word length and the corresponding calibration group, and the highest number of precision in the array that obtains after the output conversion.
Described calibration group is determined according to described symbol logo and word length.
When conversion equipment input floating number, described conversion equipment is further changed out corresponding floating number with described fixed-point number, and this floating number is exported to described software verification algorithm after this floating number is changed out corresponding fixed-point number.
A kind of chip checking system comprises:
Operation-interface is used to provide the communication interface between user and the modular converter;
Modular converter, the symbol logo, word length and the calibration that are used for being provided with according to the user are changed out corresponding floating number with the fixed-point number of input, perhaps the floating number of input are changed out corresponding fixed-point number; And
The fixed-point number of described input is exported to the chip and the software verification algorithm that need to verify with the floating number correspondence that is converted to carry out corresponding operation processing, perhaps
The floating number of described input and the fixed-point number correspondence that is converted to are exported to the software verification algorithm and needed the chip of checking to carry out corresponding operation processing;
The chip that needs checking is used for fixed-point number as input parameter to carry out the relevant hardware calculation process;
The software verification module is used for floating number as input parameter to carry out corresponding algorithm calculation process;
Comparison module is used for chip operation result and algorithm operation result are compared;
Second display module is used for according to the hardware computing of the described chip of the corresponding demonstration of the comparative result of described comparison module and the result of software computing.
Described system also comprises:
First display module is used to the fixed-point number or the floating number that show that described modular converter is changed out;
Described modular converter comprises:
Receiving element is used for receiving symbol logo, word length and the calibration that the user is provided with by described operation-interface, and the fixed-point number or the floating number of user's input;
Converting unit is used for according to the symbol logo, word length and the calibration that are provided with the fixed-point number of input being changed out corresponding floating number, perhaps the floating number of input is changed out corresponding fixed-point number;
Output unit, the chip and the software verification algorithm that are used for fixed-point number and floating number correspondence are exported to the needs checking carry out corresponding operation processing.
Described converting unit is converted to corresponding number according to the calibration that described symbol logo, word length and user select to the number of importing in correspondence calibration group.
Preferable, described converting unit is converted to corresponding array according to each calibration in described symbol logo, word length and the corresponding calibration group to the number of importing.
Described modular converter also comprises:
Selected cell, the array that is used for obtaining after conversion is selected the highest number of precision.
When described receiving element received floating number, described converting unit was further changed out corresponding floating number with described fixed-point number after this floating number is changed out corresponding fixed-point number, and described output unit is exported to described software verification module with this floating number.
Beneficial effect of the present invention is as follows:
In the chip checking process of the present invention, the user can be provided with symbol logo, word length and calibration flexibly, further, reduced the workload of changing between the fixed and floating number according to the fixed-point number of the symbol logo, word length and the calibration that are provided with and user's input or the automatic conversion that floating number is carried out the fixed and floating number; In addition, the fixed-point number or the floating number that obtain after the conversion among the present invention are input to chip checking system automatically, have improved the work efficiency of chip checking system; The present invention is directed to the characteristics of using floating number to carry out the algorithm computing and use fixed-point number to carry out the hardware computing, peek has improved comparison accuracy flexibly; And when the input floating number, after this floating number changed out fixed-point number, further this fixed-point number is changed out the input parameter of floating number as the algorithm computing, this floating number is more accurate, has therefore solved problem improper owing to the floating number of user's input and cause the comparison accuracy reduction owing to the restriction of word length, calibration; Adopt the present invention to improve the verification efficiency and the checking precision of chip.
Description of drawings
Fig. 1 is the main realization flow figure of embodiment of the invention chips checking;
Fig. 2 is an embodiment of the invention chips verification system structural representation;
Fig. 3 is a modulus of conversion block structure synoptic diagram in the embodiment of the invention;
The realization flow figure of chip checking when Fig. 4 imports fixed-point number for user in the embodiment of the invention;
The realization flow figure of chip checking when Fig. 5 imports floating number for user in the embodiment of the invention.
Embodiment
The user is provided with symbol logo in the present embodiment, word length and calibration back are input to conversion equipment by operation-interface with the parameter that is provided with and fixed-point number or floating number, described conversion equipment is according to described symbol logo, word length and calibration are changed out corresponding floating number with the fixed-point number of input, perhaps the floating number of input is changed out corresponding fixed-point number, fixed-point number that will obtain after will changing then and floating number correspondence are exported to needs the chip and the software verification algorithm of checking to carry out corresponding operation processing, determines that when the chip operation result is consistent with the algorithm operation result hardware computing of this chip and software computing are correct.
As shown in Figure 1, the main realization flow of present embodiment chips checking is as follows:
Step 100, by operation-interface to modular converter input fixed-point number or floating number.
Step 101, modular converter are changed out corresponding floating number according to the symbol logo, word length and the calibration that are provided with the fixed-point number of input, perhaps the floating number of input are changed out corresponding fixed-point number.
Step 102, modular converter are exported to chip and the software verification algorithm that needs checking with fixed-point number and floating number correspondence.
Step 103, the chip and the software verification algorithm that need to verify carry out corresponding operation processing.
Step 104, the described algorithm operation result of the result of described chip computing is compared, determine that when both are consistent the hardware computing of described chip and software computing are correct.
Accordingly, as shown in Figure 2, a kind of chip checking system comprises in the present embodiment:
Operation-interface 20 is used to provide the communication interface between user and the modular converter 21, and the user is input to modular converter 21 with the parameter that is provided with and the fixed-point number or the floating number of needs by this operation-interface 20; The parameter that the user is provided with comprises symbol logo, word length and calibration etc., and described symbol logo has been meant sign bit or has not had sign bit; Described word length is meant the numerical representation scope of stipulating in chip checking system, generally can be set to 8,16,24 or 32 etc.; Described calibration is the calibration of the needs selected from the calibration group of described symbol logo and word length correspondence of user, described calibration group is determined by described symbol logo and word length, for example: for word length is 16 signed number, comprises in the calibration group that calibration is as follows: S0.15, S1.14, S2.13, ..., S15.0, wherein S2.13 is expressed as in chip, with 2 bit representation integers, with 13 bit representation decimals; The first bit representation sign bit, sign bit are 0 o'clock, the expression positive number, and sign bit is 1 o'clock, the expression negative; For word length is 16 unsigned number, comprises in the calibration group that calibration is as follows: S0.16, and S1.15, S2.14 ..., S16.0, wherein S2.14 is expressed as in chip, with 2 bit representation integers, with 14 bit representation decimals, does not have sign bit.
As shown in Figure 3, described modular converter 21 comprises: receiving element 210 is used for receiving the parameter of user's setting and the fixed-point number or the floating number of input by operation-interface 20; Converting unit 211 is used for according to described parameter the fixed-point number of input being changed out corresponding floating number, perhaps the floating number of input is changed out corresponding fixed-point number; Can be converted to a corresponding number to the number of importing according to the calibration that described symbol logo, word length and user select in correspondence calibration group; Also can be converted to a corresponding array to the number of importing according to each calibration in described symbol logo, word length and the corresponding calibration group; Selected cell 212, the array that is used for obtaining after conversion is selected the highest data of precision; Output unit 213, the fixed-point number and the floating number that are used for described converting unit 211 is changed out output to chip 23 and the software verification module 24 that needs are verified, and it is outputed to first display module 22.When receiving element 210 receives floating number, converting unit 211 outputs to first display module 22 and the chip 23 that needs checking with this fixed-point number after this floating number is changed out fixed-point number, then this fixed-point number is changed out corresponding floating number again, and this floating number is outputed to software verification module 24.
The chip 23 that needs checking is used for the fixed-point number of the described modular converter 21 outputs register parameters as the hardware computing is carried out the relevant hardware calculation process, and operation result is exported to comparison module 25.
To select calibration in the calibration group be example that the implementation procedure of the chip checking of present embodiment is elaborated with the user below.
The process that realizes chip checking when as shown in Figure 4, the user imports fixed-point number in the present embodiment is as follows:
The fixed-point number that step 400, user will be provided with symbol logo, word length and calibration and needs is input to modular converter.
The chip of step 403, needs checking carries out the register parameters of described fixed-point number as the hardware computing relevant hardware computing and exports the result; The software verification module is carried out the input parameter of described floating number as the algorithm computing relevant hardware computing and is exported the result.
The process that realizes chip checking when as shown in Figure 5, the user imports floating number in the present embodiment is as follows:
The floating number that step 500, user will be provided with symbol logo, word length and calibration and needs is input to modular converter.
Modular converter is changed the fixed-point number or the floating number of user's input according to each calibration in symbol logo, word length and the corresponding calibration group of user's setting in the present embodiment, the higher number of precision is exported to carry out corresponding operation processing in the array that will obtain after will changing then, adopt this processing mode can obtain the higher number of precision, therefore improved the conversion accuracy of chip checking system, the implementation procedure of its conversion and said process in like manner repeat no more.
Adopt the present invention can the facilitating chip proof procedure in the transfer process of fixed and floating number, improved the checking precision of hardware computing and algorithm computing, in addition, the user can draw the precision difference between the floating number that obtains after the floating number of input and the conversion intuitively, thereby, help increasing work efficiency for the user provides reference data.
Obviously, those skilled in the art can carry out various changes and modification to the present invention and not break away from the spirit and scope of the present invention.Like this, if of the present invention these are revised and modification belongs within the scope of claim of the present invention and equivalent technologies thereof, then the present invention also is intended to comprise these changes and modification interior.
Claims (12)
1. the method for a chip checking is characterized in that, comprises step:
Import fixed-point number or floating number by operation-interface to conversion equipment;
Described conversion equipment is changed out corresponding floating number according to the symbol logo, word length and the calibration that are provided with the fixed-point number of input, perhaps the floating number of input is changed out corresponding fixed-point number;
The fixed-point number of described input is exported to the chip and the software verification algorithm that need to verify with the floating number correspondence that is converted to carry out corresponding operation processing, perhaps
The floating number of described input and the fixed-point number correspondence that is converted to are exported to the software verification algorithm and needed the chip of checking to carry out corresponding operation processing;
The result of described chip computing and the result of described algorithm computing are compared, determine that when both are consistent the hardware computing of described chip and software computing are correct.
2. the method for claim 1, it is characterized in that, described conversion equipment is changed the number of input according to the calibration that described symbol logo, word length and user select in correspondence calibration group, when the number that obtains after the conversion did not satisfy accuracy requirement, described conversion equipment was changed the number of described input again according to the calibration that the user reselects.
3. the method for claim 1 is characterized in that, described conversion equipment is changed respectively according to each calibration in described symbol logo, word length and the corresponding calibration group, and the highest number of precision in the array that obtains after the output conversion.
4. as claim 2 or 3 described methods, it is characterized in that described calibration group is determined according to described symbol logo and word length.
5. as claim 1,2 or 3 described methods, it is characterized in that, when conversion equipment input floating number, after described conversion equipment is changed out corresponding fixed-point number with this floating number, further described fixed-point number is changed out corresponding floating number, and this floating number is exported to described software verification algorithm.
6. a chip checking system is characterized in that, comprising:
Operation-interface is used to provide the communication interface between user and the modular converter;
Modular converter, the symbol logo, word length and the calibration that are used for being provided with according to the user are changed out corresponding floating number with the fixed-point number of input, perhaps the floating number of input are changed out corresponding fixed-point number; And
The fixed-point number of described input is exported to the chip and the software verification algorithm that need to verify with the floating number correspondence that is converted to carry out corresponding operation processing, perhaps
The floating number of described input and the fixed-point number correspondence that is converted to are exported to the software verification algorithm and needed the chip of checking to carry out corresponding operation processing;
The chip that needs checking is used for fixed-point number as input parameter to carry out the relevant hardware calculation process;
The software verification module is used for floating number as input parameter to carry out corresponding algorithm calculation process;
Comparison module is used for chip operation result and algorithm operation result are compared;
Second display module is used for according to the hardware computing of the described chip of the corresponding demonstration of the comparative result of described comparison module and the result of software computing.
7. chip checking system as claimed in claim 6 is characterized in that, described system also comprises:
First display module is used to the fixed-point number or the floating number that show that described modular converter is changed out.
8. as claim 6 or 7 described chip checking systems, it is characterized in that described modular converter comprises:
Receiving element is used for receiving symbol logo, word length and the calibration that the user is provided with by described operation-interface, and the fixed-point number or the floating number of user's input;
Converting unit is used for according to the symbol logo, word length and the calibration that are provided with the fixed-point number of input being changed out corresponding floating number, perhaps the floating number of input is changed out corresponding fixed-point number;
Output unit, the chip and the software verification algorithm that are used for fixed-point number and floating number correspondence are exported to the needs checking carry out corresponding operation processing.
9. chip checking system as claimed in claim 8 is characterized in that, described converting unit is converted to corresponding number according to the calibration that described symbol logo, word length and user select to the number of importing in correspondence calibration group.
10. chip checking system as claimed in claim 8 is characterized in that, described converting unit is converted to corresponding array according to each calibration in described symbol logo, word length and the corresponding calibration group to the number of importing.
11. chip checking system as claimed in claim 10 is characterized in that, described modular converter also comprises:
Selected cell, the array that is used for obtaining after conversion is selected the highest number of precision.
12. chip checking system as claimed in claim 8, it is characterized in that, when described receiving element receives floating number, after described converting unit is changed out corresponding fixed-point number with this floating number, further described fixed-point number is changed out corresponding floating number, described output unit is exported to described software verification module with this floating number.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CNB2006101146504A CN100389399C (en) | 2006-11-20 | 2006-11-20 | Method and system of chip checking |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CNB2006101146504A CN100389399C (en) | 2006-11-20 | 2006-11-20 | Method and system of chip checking |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN1949184A CN1949184A (en) | 2007-04-18 |
| CN100389399C true CN100389399C (en) | 2008-05-21 |
Family
ID=38018708
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CNB2006101146504A Expired - Fee Related CN100389399C (en) | 2006-11-20 | 2006-11-20 | Method and system of chip checking |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN100389399C (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN113742202A (en) * | 2020-05-29 | 2021-12-03 | 上海商汤智能科技有限公司 | AI chip verification system, method, device and storage medium |
Families Citing this family (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101605071B (en) * | 2009-07-02 | 2011-12-07 | 中兴通讯股份有限公司 | Method and device for verifying transport protocol chip |
| CN103093713B (en) * | 2011-10-31 | 2016-03-09 | 安凯(广州)微电子技术有限公司 | A kind of chip verification method based on FPGA, Apparatus and system |
| CN104090994A (en) * | 2014-06-05 | 2014-10-08 | 潍柴动力股份有限公司 | Model converting method, testing method, converting system and testing system |
| CN104486169B (en) * | 2015-01-07 | 2018-07-20 | 北京华力创通科技股份有限公司 | Reusable automatic detection and accidental validation system and method |
| US10546079B2 (en) * | 2015-06-06 | 2020-01-28 | The Board Of Trustees Of The Leland Stanford Junior University | System-level validation of systems-on-a-chip (SoC) |
| CN113778373B (en) * | 2021-09-16 | 2023-10-31 | 卡斯柯信号有限公司 | Safe floating point operation method and system |
Citations (3)
| 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 |
| CN1719417A (en) * | 2005-07-08 | 2006-01-11 | 北京中星微电子有限公司 | Chip examination system and method |
| CN1722095A (en) * | 2005-07-08 | 2006-01-18 | 北京中星微电子有限公司 | Chip checking system and method |
-
2006
- 2006-11-20 CN CNB2006101146504A patent/CN100389399C/en not_active Expired - Fee Related
Patent Citations (3)
| 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 |
| CN1719417A (en) * | 2005-07-08 | 2006-01-11 | 北京中星微电子有限公司 | Chip examination system and method |
| CN1722095A (en) * | 2005-07-08 | 2006-01-18 | 北京中星微电子有限公司 | Chip checking system and method |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN113742202A (en) * | 2020-05-29 | 2021-12-03 | 上海商汤智能科技有限公司 | AI chip verification system, method, device and storage medium |
| TWI778473B (en) * | 2020-05-29 | 2022-09-21 | 大陸商上海商湯智能科技有限公司 | Artificial intelligence chip verification systems and methods, devices and storage media |
Also Published As
| Publication number | Publication date |
|---|---|
| CN1949184A (en) | 2007-04-18 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN100389399C (en) | Method and system of chip checking | |
| CN102495353B (en) | Radio frequency integrated circuit test system and control method thereof | |
| CN100568187C (en) | A kind of method and apparatus that is used for debugging message is carried out mask | |
| CN101957428B (en) | Automatic test method and tool of monitoring circuit board | |
| WO2021078211A1 (en) | Converter for converting data type, chip, electronic device, and method for converting data type | |
| CN102053898A (en) | Method for testing bus interface on PCIE (Peripheral Component Interface Express) slot of host and read-write test method thereof | |
| CN101719177B (en) | Method and device for on-chip system modeling and simulation | |
| WO2021078209A1 (en) | Converter for converting data type, chip, electronic device, and method therefor | |
| CN102446557B (en) | A kind of a kind of method of chip and chip parallel test | |
| CN117131834A (en) | Chip design reorganization method, electronic equipment and medium | |
| CN201876522U (en) | General test equipment | |
| CN101510149A (en) | Method and apparatus for processing data | |
| CN104866640A (en) | Full FIFO (first in, first out) circuit design method and universal test bench of method | |
| CN107784185B (en) | Method and device for extracting pseudo path in gate-level netlist and terminal equipment | |
| CN113779499A (en) | Fast Fourier algorithm optimization method and system based on high-level comprehensive tool | |
| CN102023841B (en) | Microprocessor and related instruction execution method | |
| CN112131810B (en) | Method and device for repairing setup time violations, electronic equipment and readable storage medium | |
| CN105068908B (en) | A kind of building method of functional verification platform for KVM ASIC | |
| CN115270670A (en) | Low-power-consumption design method and device of chip, terminal and storage medium | |
| CN114355062A (en) | Open-phase detection method and device, controller and three-phase power supply system | |
| CN101907985B (en) | Information fixed-point processing device and method | |
| CN203102268U (en) | Control bus with trigger synchronization function and clock synchronization function | |
| CN112416839A (en) | System for realizing UART (universal asynchronous receiver transmitter) communication | |
| CN1963721B (en) | Core logic circuit and clock signal shift regulation method | |
| CN100492908C (en) | Apparatus and method for determining clock domain changing abnormality |
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 |