CN117471504A - GNSS baseband chip verification method, electronic equipment and medium - Google Patents
GNSS baseband chip verification method, electronic equipment and medium Download PDFInfo
- Publication number
- CN117471504A CN117471504A CN202311487919.3A CN202311487919A CN117471504A CN 117471504 A CN117471504 A CN 117471504A CN 202311487919 A CN202311487919 A CN 202311487919A CN 117471504 A CN117471504 A CN 117471504A
- Authority
- CN
- China
- Prior art keywords
- time block
- ith time
- model
- intermediate frequency
- frequency data
- 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
Links
- 238000000034 method Methods 0.000 title claims abstract description 44
- 238000012795 verification Methods 0.000 title abstract description 26
- 238000012545 processing Methods 0.000 claims abstract description 31
- 230000006870 function Effects 0.000 claims description 11
- 230000005540 biological transmission Effects 0.000 claims description 3
- 238000005070 sampling Methods 0.000 claims description 3
- 239000000758 substrate Substances 0.000 claims 4
- 239000000523 sample Substances 0.000 claims 1
- 230000007812 deficiency Effects 0.000 description 3
- 230000009286 beneficial effect Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 230000003139 buffering effect Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000002360 preparation method Methods 0.000 description 1
- 230000002035 prolonged effect Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
Classifications
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01S—RADIO DIRECTION-FINDING; RADIO NAVIGATION; DETERMINING DISTANCE OR VELOCITY BY USE OF RADIO WAVES; LOCATING OR PRESENCE-DETECTING BY USE OF THE REFLECTION OR RERADIATION OF RADIO WAVES; ANALOGOUS ARRANGEMENTS USING OTHER WAVES
- G01S19/00—Satellite radio beacon positioning systems; Determining position, velocity or attitude using signals transmitted by such systems
- G01S19/01—Satellite radio beacon positioning systems transmitting time-stamped messages, e.g. GPS [Global Positioning System], GLONASS [Global Orbiting Navigation Satellite System] or GALILEO
- G01S19/13—Receivers
- G01S19/23—Testing, monitoring, correcting or calibrating of receiver elements
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Radar, Positioning & Navigation (AREA)
- Remote Sensing (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Theoretical Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- Tests Of Electronic Circuits (AREA)
Abstract
The invention relates to a GNSS baseband chip verification method, electronic equipment and a medium, which comprise the steps of S1, acquiring a baseband parameter configuration file, initializing i=1 and executing S2; s2, configuring the operation parameters of the algorithm model C in the ith time block; step S3, inputting intermediate frequency data of the ith time block into a C algorithm model, obtaining corresponding time nodes, register configuration information corresponding to each time node and output information; step S4, judging whether i is equal to M, if so, setting i=1, executing S5, otherwise, setting i=i+1, and returning to S2; s5, configuring an RTL logic model, processing intermediate frequency data, and obtaining corresponding output information; s6, consistency comparison is carried out; and S7, judging whether i is equal to M, if so, outputting a result, otherwise, setting i=i+1, and returning to S5. The invention improves the accuracy and the reliability of GNSS baseband chip verification.
Description
Technical Field
The present invention relates to the field of chip technologies, and in particular, to a GNSS baseband chip verification method, an electronic device, and a medium.
Background
A global satellite navigation system (Global Navigation Satellite System, abbreviated as GNSS) baseband chip refers to a chip for implementing a process of capturing and tracking received satellite signals. The conventional chip verification process cannot well design various satellite signal scenes to verify the GNSS baseband chip, so that the problems of function deficiency, substandard performance index and the like occur after the corresponding register transmission level (Register Transfer Level, RTL for short) logic codes of the GNSS baseband chip are converted into the chip, the accuracy and the reliability of GNSS baseband chip verification are low, and the verification period of the GNSS baseband chip is prolonged. Therefore, how to provide a verification method suitable for the GNSS baseband chip, improve the accuracy and reliability of the GNSS baseband chip verification, shorten the verification period of the GNSS baseband chip, and become a technical problem to be solved.
Disclosure of Invention
The invention aims to provide a GNSS baseband chip verification method, electronic equipment and medium, which improve the accuracy and reliability of GNSS baseband chip verification and shorten the verification period of the GNSS baseband chip.
According to a first aspect of the present invention, there is provided a GNSS baseband chip verification method, including:
step S1, acquiring a baseband parameter configuration file, wherein the baseband parameter configuration file is configured with operation parameters corresponding to continuous M time blocks, M is the total number of the corresponding time blocks in the baseband parameter configuration file, the large length of each time block is T, i=1 is initialized, and step S2 is executed;
s2, configuring operation parameters corresponding to an ith time block of a C algorithm model based on the baseband parameter configuration file, wherein the C algorithm model is a model of a GNSS baseband chip function realized based on a C language;
step S3, inputting intermediate frequency data corresponding to the ith time block into a C algorithm model, wherein the C algorithm model operates and processes the intermediate frequency data corresponding to the ith time block based on the operation parameters corresponding to the ith time block, and obtains a time node corresponding to the ith time block, register configuration information corresponding to each time node and output information;
step S4, judging whether i is equal to M, if so, setting i=1, executing step S5, otherwise, setting i=i+1, and returning to executing step S2;
s5, configuring an RTL logic model based on a time node corresponding to an ith time block and register configuration information corresponding to each time node, enabling the RTL logic model to process intermediate frequency data corresponding to the ith time block, and obtaining output information corresponding to the ith time block, wherein the RTL logic model is a model of a GNSS baseband chip function realized based on an RTL language;
s6, carrying out consistency comparison on the output information corresponding to the C algorithm model corresponding to the ith time block and the output information corresponding to the RTL logic model to obtain a consistency comparison result corresponding to the ith time block;
and S7, judging whether i is equal to M, if so, outputting consistency comparison results corresponding to the M time blocks, otherwise, setting i=i+1, and returning to the step S5.
According to a second aspect of the present invention, there is provided an electronic device comprising: at least one processor; and a memory communicatively coupled to the at least one processor; wherein the memory stores instructions executable by the at least one processor, the instructions being arranged to perform the method according to the first aspect of the invention.
According to a third aspect of the present invention there is provided a computer readable storage medium storing computer executable instructions for performing the method of the first aspect of the present invention.
Compared with the prior art, the invention has obvious advantages and beneficial effects. By means of the technical scheme, the GNSS baseband chip verification method, the electronic equipment and the medium provided by the invention can achieve quite technical progress and practicality, have wide industrial utilization value, and have at least the following beneficial effects:
the invention provides a verification method suitable for a GNSS baseband chip, which can realize complete consistency comparison of functions of two models under the condition that a C algorithm model and an RTL logic model are input by the same intermediate frequency, can effectively verify the functional problem of the RTL in advance, reduces the problems of functional deficiency, performance index failure meeting the requirements and the like after the RTL logic is converted into the chip, improves the accuracy and reliability of GNSS baseband chip verification, shortens the verification period of the GNSS baseband chip, and becomes a technical problem to be solved urgently.
Drawings
In order to more clearly illustrate the technical solutions of the embodiments of the present invention, the drawings required for the description of the embodiments will be briefly described below, and it is apparent that the drawings in the following description are only some embodiments of the present invention, and other drawings may be obtained according to these drawings without inventive effort for a person skilled in the art.
Fig. 1 is a flowchart of a method for verifying a GNSS baseband chip according to an embodiment of the present invention.
Detailed Description
The following description of the embodiments of the present invention will be made clearly and completely with reference to the accompanying drawings, in which it is apparent that the embodiments described are only some embodiments of the present invention, but not all embodiments. All other embodiments, which can be made by those skilled in the art based on the embodiments of the invention without making any inventive effort, are intended to fall within the scope of the invention.
The embodiment of the invention provides a GNSS baseband chip verification method, which comprises the following steps as shown in fig. 1:
step S1, a baseband parameter configuration file is obtained, wherein operation parameters corresponding to continuous M time blocks (blocks) are configured in the baseband parameter configuration file, M is the total number of the corresponding time blocks in the baseband parameter configuration file, each time Block is T in large length, i=1 is initialized, and step S2 is executed.
It should be noted that, the baseband parameter configuration file may set the operation parameters corresponding to the continuous M time blocks to the same operation parameters, or may set different operation parameters according to specific application requirements, and specifically set according to a workflow required to be set according to the specific application requirements. But typically each operating parameter will run continuously over multiple time blocks and will not switch frequently.
And step S2, configuring operation parameters corresponding to the ith time block of a C algorithm model based on the baseband parameter configuration file, wherein the C algorithm model is a model of a GNSS baseband chip function realized based on a C language.
Wherein the operation parameters comprise acquisition configuration parameters, tracking configuration parameters, global control parameters and the like. The existing mode of the GNSS baseband chip function realized based on the C language falls into the protection scope of the invention, and is not described herein.
And S3, inputting intermediate frequency data corresponding to the ith time block into a C algorithm model, wherein the C algorithm model operates and processes the intermediate frequency data corresponding to the ith time block based on the operation parameters corresponding to the ith time block, and obtains a time node corresponding to the ith time block and register configuration information corresponding to each time node and output information.
It should be noted that, the present invention firstly configures the C algorithm model, runs the C algorithm model, and obtains the time node corresponding to the ith time block and the register configuration information corresponding to each time node during the process of running the C algorithm model, so as to prepare for the running of the RTL logic model. In addition, output information corresponding to the C algorithm model is required to be obtained, so that preparation is made for consistency comparison with the RTL logic model.
As an embodiment, the register configuration information includes capture register configuration information, trace register configuration information, global control register configuration information, and the like.
As one embodiment, the output information includes processing state information including acquisition state information, current acquisition satellite identification information, tracking state information, current tracking satellite identification information, and the like, and a sequence of processing results.
Step S4, judging whether i is equal to M, if so, setting i=1, executing step S5, otherwise, setting i=i+1, and returning to executing step S2.
It should be noted that, after the execution of the M time blocks in the baseband parameter configuration file is completed, the RTL logic model is operated based on the acquired time node corresponding to each time block and the register configuration information corresponding to each time node.
And S5, configuring an RTL logic model based on a time node corresponding to the ith time block and register configuration information corresponding to each time node, enabling the RTL logic model to process intermediate frequency data corresponding to the ith time block, and obtaining output information corresponding to the ith time block, wherein the RTL logic model is a model of a GNSS baseband chip function realized based on an RTL language.
It should be noted that, as an embodiment, the time node corresponding to the i-th time block obtained in step S3 and the register configuration information corresponding to each time node, and the output information may be stored in a file c.dat, and in step S5, the file c.dat is imported, and the baseband information in the RTL logic model is configured according to Verilog grammar rules based on the imported file c.dat.
And S6, carrying out consistency comparison on the output information corresponding to the C algorithm model corresponding to the ith time block and the output information corresponding to the RTL logic model to obtain a consistency comparison result corresponding to the ith time block.
It should be noted that, in the stage of running the RTL logic model, when each time block is completed during running, output information corresponding to the C algorithm model is compared.
And S7, judging whether i is equal to M, if so, outputting consistency comparison results corresponding to the M time blocks, otherwise, setting i=i+1, and returning to the step S5.
It should be noted that if the comparison results of the M time blocks are all consistent, the C algorithm model and the RTL logic model are determined to be consistent, and verification is passed, otherwise, the C algorithm model and the RTL logic model are determined to be inconsistent, and detailed information of inconsistent comparison can be specifically output, so that a reference is provided for subsequent GNSS baseband chip verification.
As one example, T.gtoreq.B max V, wherein B max The maximum reported data quantity of the RTL logic model is set, and V is the data transmission rate of the RTL logic model, so that the RTL logic model can normally operate under any configuration. Preferably, t=b max /V。
As an embodiment, each time block corresponds to a plurality of intermediate frequency data arranged in time sequence, and is related to a sampling rate, and is assumed to be X, and the step S3 includes:
step S31, dividing the X intermediate frequency data corresponding to the ith time block into N groups of input sequences { L ] 1 i ,L 2 i ,…,L n i ,…L N i }, wherein L n i For the N-th group of input sequences corresponding to the i-th time block, the value range of N is 1 to N. x=t/W, W is the intermediate frequency data sampling rate, L n i The input time node corresponding to the first intermediate frequency data is t n i . When 1 is less than or equal to n<When N is, L n i The corresponding [ (n-1) ×y+1 ] for the ith time block]To a sequence of n x Y intermediate frequency data,wherein (1)>Representing a rounding down. When n=n, L n i [ (N-1) th Y+1 ] th time block pair]To the X-th intermediate frequency data.
Step S32, from t n i Starting at the moment, L n i Corresponding intermediate frequency data are sequentially input into a C algorithm model, and t is recorded n i Time of day, t n i Register configuration information corresponding to the time.
And S32, when the ith time block is finished, acquiring output information corresponding to the ith time block.
It should be noted that, in the operation of each time block, a plurality of processing results may be generated, or a plurality of processing states may be corresponding to each other, and buffering may be performed sequentially according to time, when the operation of the time block is finished, all the processing results are sequentially output, and all the processing state information is also sequentially output.
As an embodiment, the step S5 includes:
step S51 is performed by setting n=1, and step S52 is performed.
Step S52, at t n i Time according to t n i Register configuration information corresponding to the moment configures an RTL logic model.
It can be understood that the invention configures the RTL logic model based on the configuration information of each time node of the C algorithm model, thereby realizing the verification of the RTL logic model.
Step S53, from t n i Start to L at the moment n i The intermediate frequency data in the data are sequentially input into an RTL logic model, and the RTL logic model is enabled to process L n i Intermediate frequency data in (a) is provided.
Step S54, determining whether N is equal to N, if yes, obtaining output information corresponding to the ith time block when the ith time block ends, otherwise, setting n=n+1, and returning to execute step S52.
By the processing of step S53 to step S54, it is possible to keep the input of the RTL logical model and the C algorithm model consistent.
As an embodiment, the step S6 includes:
step S61, comparing the processing state information corresponding to the C algorithm model corresponding to the ith time block with the processing state information corresponding to the RTL logic model, if the processing state information is consistent with the processing state information, directly executing step S62, otherwise, generating state inconsistent information, wherein the state inconsistent information comprises the state information with inconsistent comparison, and then executing step S62.
Step S62, comparing the processing result sequence corresponding to the C algorithm model corresponding to the ith time block with the processing result sequence corresponding to the RTL logic model, if the processing result sequences are consistent in comparison and the state information is consistent in comparison, executing step S63, otherwise, executing step S64.
When comparing the processing result sequences, each item in the processing result sequences is compared respectively, and if only one inconsistent sequence item exists, the processing result sequences are determined to be inconsistent in comparison.
And step S63, determining that the C algorithm model corresponding to the ith time block is consistent with the RTL logic model, and executing step S7.
And S64, determining that the C algorithm model corresponding to the ith time block is inconsistent with the RTL logic model, and if the sequence comparison of the processing results is inconsistent, generating sequence comparison inconsistent information, wherein the sequence comparison inconsistent information comprises sequence items which are inconsistent in sequence.
It should be noted that, only when the processing state information corresponding to the ith time block and the processing result sequence are completely consistent, it can be determined that the C algorithm model corresponding to the ith time block and the RTL logic model are consistent, and if there is a place of inconsistency, it is determined that the C algorithm model corresponding to the ith time block and the RTL logic model are inconsistent. The embodiment of the invention can not only judge whether the C algorithm model corresponding to the ith time block is consistent with the RTL logic model, but also can clearly determine the specific information which is not necessarily required under the condition of inconsistent.
In step S7, it is to be noted that only when the consistency comparison results corresponding to the M time blocks are all consistent, it is finally determined that the C algorithm model and the RTL logic model are consistent. Otherwise, the inconsistent information corresponding to all the time blocks with inconsistent conditions can be accurately presented.
The embodiment of the invention provides a verification method suitable for a GNSS baseband chip, which can realize complete consistency comparison of functions of two models under the condition that a C algorithm model and an RTL logic model are input by the same intermediate frequency, can effectively verify the functional problem of the RTL in advance, reduces the problems of functional deficiency, performance index failure meeting the requirements and the like after the RTL logic is converted into the chip, improves the accuracy and reliability of GNSS baseband chip verification, shortens the verification period of the GNSS baseband chip, and becomes a technical problem to be solved urgently.
It should be noted that some exemplary embodiments are described as a process or a method depicted as a flowchart. Although a flowchart depicts steps as a sequential process, many of the steps may be implemented in parallel, concurrently, or with other steps. Furthermore, the order of the steps may be rearranged. The process may be terminated when its operations are completed, but may have additional steps not included in the figures. The processes may correspond to methods, functions, procedures, subroutines, and the like.
The embodiment of the invention also provides electronic equipment, which comprises: at least one processor; and a memory communicatively coupled to the at least one processor; wherein the memory stores instructions executable by the at least one processor, the instructions being configured to perform the methods of embodiments of the present invention.
The embodiment of the invention also provides a computer readable storage medium, which stores computer executable instructions for executing the method according to the embodiment of the invention.
The present invention is not limited to the above-mentioned embodiments, but is intended to be limited to the following embodiments, and any modifications, equivalents and modifications can be made to the above-mentioned embodiments without departing from the scope of the invention.
Claims (10)
1. A method for verifying a GNSS baseband chip, comprising:
step S1, acquiring a baseband parameter configuration file, wherein the baseband parameter configuration file is configured with operation parameters corresponding to continuous M time blocks, M is the total number of the corresponding time blocks in the baseband parameter configuration file, the large length of each time block is T, i=1 is initialized, and step S2 is executed;
s2, configuring operation parameters corresponding to an ith time block of a C algorithm model based on the baseband parameter configuration file, wherein the C algorithm model is a model of a GNSS baseband chip function realized based on a C language;
step S3, inputting intermediate frequency data corresponding to the ith time block into a C algorithm model, wherein the C algorithm model operates and processes the intermediate frequency data corresponding to the ith time block based on the operation parameters corresponding to the ith time block, and obtains a time node corresponding to the ith time block, register configuration information corresponding to each time node and output information;
step S4, judging whether i is equal to M, if so, setting i=1, executing step S5, otherwise, setting i=i+1, and returning to executing step S2;
s5, configuring an RTL logic model based on a time node corresponding to an ith time block and register configuration information corresponding to each time node, enabling the RTL logic model to process intermediate frequency data corresponding to the ith time block, and obtaining output information corresponding to the ith time block, wherein the RTL logic model is a model of a GNSS baseband chip function realized based on an RTL language;
s6, carrying out consistency comparison on the output information corresponding to the C algorithm model corresponding to the ith time block and the output information corresponding to the RTL logic model to obtain a consistency comparison result corresponding to the ith time block;
and S7, judging whether i is equal to M, if so, outputting consistency comparison results corresponding to the M time blocks, otherwise, setting i=i+1, and returning to the step S5.
2. The method of claim 1, wherein the step of determining the position of the substrate comprises,
the operating parameters include acquisition configuration parameters, tracking configuration parameters, and global control parameters.
3. The method of claim 1, wherein the step of determining the position of the substrate comprises,
T≥B max v, wherein B max And V is the data transmission rate of the RTL logic model.
4. The method of claim 1, wherein the step of determining the position of the substrate comprises,
the step S3 includes:
step S31, dividing the X intermediate frequency data corresponding to the ith time block into N groups of input sequences { L ] 1 i ,L 2 i ,…,L n i ,…L N i }, wherein L n i N is the N group input sequence corresponding to the i time block, and the value range of N is 1 to N;
x=t/W, W is the intermediate frequency data sampling rate, L n i The input time node corresponding to the first intermediate frequency data is t n i ；
When 1 is less than or equal to n<When N is, L n i The corresponding [ (n-1) ×y+1 ] for the ith time block]To a sequence of n x Y intermediate frequency data,
when n=n, L n i [ (N-1) th Y+1 ] th time block pair]A sequence to the xth intermediate frequency data;
step S32, from t n i Starting at the moment, L n i Corresponding intermediate frequency data are sequentially input into a C algorithm model, and t is recorded n i Time of day, t n i Register configuration information corresponding to time;
and S32, when the ith time block is finished, acquiring output information corresponding to the ith time block.
5. The method of claim 4, wherein the step of determining the position of the first electrode is performed,
the register configuration information includes capture register configuration information, trace register configuration information, and global control register configuration information.
6. The method of claim 4, wherein the step of determining the position of the first electrode is performed,
the step S5 includes:
step S51, setting n=1, and executing step S52;
step S52, at t n i Time according to t n i Register configuration information corresponding to the moment configures an RTL logic model;
step S53, from t n i Start to L at the moment n i The intermediate frequency data in the data are sequentially input into an RTL logic model, and the RTL logic model is enabled to process L n i Intermediate frequency data in (a);
step S54, determining whether N is equal to N, if yes, obtaining output information corresponding to the ith time block when the ith time block ends, otherwise, setting n=n+1, and returning to execute step S52.
7. The method of claim 1, wherein the step of determining the position of the substrate comprises,
the output information includes processing state information including acquisition state information, current acquisition satellite identification information, tracking state information, and current tracking satellite identification information, and a sequence of processing results.
8. The method of claim 7, wherein the step of determining the position of the probe is performed,
the step S6 includes:
step S61, comparing the processing state information corresponding to the C algorithm model corresponding to the ith time block with the processing state information corresponding to the RTL logic model, if the processing state information is consistent with the processing state information, directly executing the step S62, otherwise, generating state inconsistent information, wherein the state inconsistent information comprises the state information with inconsistent comparison, and then executing the step S62;
step S62, comparing the processing result sequence corresponding to the C algorithm model corresponding to the ith time block with the processing result sequence corresponding to the RTL logic model, if the processing result sequences are consistent in comparison and the state information is consistent in comparison, executing step S63, otherwise, executing step S64;
step S63, determining that a C algorithm model corresponding to the ith time block is consistent with the RTL logic model, and executing step S7;
and S64, determining that the C algorithm model corresponding to the ith time block is inconsistent with the RTL logic model, and if the sequence comparison of the processing results is inconsistent, generating sequence comparison inconsistent information, wherein the sequence comparison inconsistent information comprises sequence items which are inconsistent in sequence.
9. An electronic device, comprising:
at least one processor;
and a memory communicatively coupled to the at least one processor;
wherein the memory stores instructions executable by the at least one processor, the instructions being arranged to perform the method of any of the preceding claims 1-8.
10. A computer readable storage medium, characterized in that computer executable instructions are stored for performing the method of any of the preceding claims 1-8.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202311487919.3A CN117471504B (en) | 2023-11-09 | GNSS baseband chip verification method, electronic equipment and medium |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202311487919.3A CN117471504B (en) | 2023-11-09 | GNSS baseband chip verification method, electronic equipment and medium |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN117471504A true CN117471504A (en) | 2024-01-30 |
| CN117471504B CN117471504B (en) | 2024-06-07 |
Family
ID=
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101813783A (en) * | 2010-03-22 | 2010-08-25 | 东莞市泰斗微电子科技有限公司 | Method for testing base band chip of satellite navigation receiver |
| CN102567165A (en) * | 2011-12-29 | 2012-07-11 | 中国科学院自动化研究所 | System and method for verifying register transfer level (RTL) hardware |
| CN106802848A (en) * | 2016-12-20 | 2017-06-06 | 北京计算机技术及应用研究所 | A kind of Method at Register Transfer Level N-modular redundancy verification method |
| US10878153B1 (en) * | 2018-10-09 | 2020-12-29 | Synopsys, Inc. | Apparatuses and methods for accurate and efficient clock domain and reset domain verification with register transfer level memory inference |
| CN113031026A (en) * | 2021-02-25 | 2021-06-25 | 湖南国科微电子股份有限公司 | Ranging code generation method, device, equipment and storage medium |
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101813783A (en) * | 2010-03-22 | 2010-08-25 | 东莞市泰斗微电子科技有限公司 | Method for testing base band chip of satellite navigation receiver |
| CN102567165A (en) * | 2011-12-29 | 2012-07-11 | 中国科学院自动化研究所 | System and method for verifying register transfer level (RTL) hardware |
| CN106802848A (en) * | 2016-12-20 | 2017-06-06 | 北京计算机技术及应用研究所 | A kind of Method at Register Transfer Level N-modular redundancy verification method |
| US10878153B1 (en) * | 2018-10-09 | 2020-12-29 | Synopsys, Inc. | Apparatuses and methods for accurate and efficient clock domain and reset domain verification with register transfer level memory inference |
| CN113031026A (en) * | 2021-02-25 | 2021-06-25 | 湖南国科微电子股份有限公司 | Ranging code generation method, device, equipment and storage medium |
Non-Patent Citations (2)
| Title |
|---|
| 冯毅 等: "面向SoC系统芯片中跨时钟域设计的模型检验方法", 电子学报, vol. 36, no. 05, 15 May 2008 (2008-05-15) * |
| 田浩: "基于C语言的GPS基带处理芯片参考模型设计", 大众科技, no. 01, 10 January 2011 (2011-01-10) * |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN112509600A (en) | Model training method and device, voice conversion method and device and storage medium | |
| US6567959B2 (en) | Method and device for verification of VLSI designs | |
| US5491639A (en) | Procedure for verifying data-processing systems | |
| CN115146580A (en) | Integrated circuit path delay prediction method based on feature selection and deep learning | |
| CN111639470B (en) | Simulation test method and system for processor cooperative chip and related components | |
| CN117471504B (en) | GNSS baseband chip verification method, electronic equipment and medium | |
| CN111063000B (en) | Magnetic resonance rapid imaging method and device based on neural network structure search | |
| CN113222160B (en) | Quantum state conversion method and device | |
| US7131087B2 (en) | Multi-cycle path analyzing method | |
| CN117471504A (en) | GNSS baseband chip verification method, electronic equipment and medium | |
| CN116245056B (en) | Regression test debugging system based on time sequence type coverage database | |
| CN116244169B (en) | Regression testing system based on time sequence type coverage database | |
| CN116245055B (en) | Effective random test vector determining system based on time sequence type coverage database | |
| CN110610140A (en) | Training method, device and equipment of face recognition model and readable storage medium | |
| CN112416709B (en) | Chip dynamic power consumption estimation method and device, processor chip and server | |
| KR102255470B1 (en) | Method and apparatus for artificial neural network | |
| CN117150995B (en) | Driving source code tracking method, electronic equipment and medium | |
| CN116011395B (en) | Module-exchange-based circuit schematic diagram module column ordering method, equipment and medium | |
| CN116245057B (en) | Effective execution area determining system based on time sequence type coverage database | |
| CN114429095B (en) | Fault simulation method and system of quantum circuit, storage medium and electronic device | |
| CN117724913A (en) | Target debug data acquisition system for chip FPGA prototype verification | |
| CN117724914A (en) | Debug method for chip FPGA prototype verification, electronic equipment and medium | |
| CN117113484A (en) | Method and terminal for determining tunnel support design scheme | |
| CN117724912A (en) | Target trigger point determining system for chip FPGA prototype verification | |
| CN116384225A (en) | Method and device for determining circuit direct current simulation step length |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant |