CN102854457A - Field programmable gate array (FPGA) evaluating method - Google Patents

Field programmable gate array (FPGA) evaluating method Download PDF

Info

Publication number
CN102854457A
CN102854457A CN2011101828877A CN201110182887A CN102854457A CN 102854457 A CN102854457 A CN 102854457A CN 2011101828877 A CN2011101828877 A CN 2011101828877A CN 201110182887 A CN201110182887 A CN 201110182887A CN 102854457 A CN102854457 A CN 102854457A
Authority
CN
China
Prior art keywords
fpga
evaluating
evaluating method
report
output
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.)
Pending
Application number
CN2011101828877A
Other languages
Chinese (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.)
KANGYUXING TECHNOLOGY (BEIJING) CO LTD
Original Assignee
KANGYUXING TECHNOLOGY (BEIJING) CO LTD
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 KANGYUXING TECHNOLOGY (BEIJING) CO LTD filed Critical KANGYUXING TECHNOLOGY (BEIJING) CO LTD
Priority to CN2011101828877A priority Critical patent/CN102854457A/en
Publication of CN102854457A publication Critical patent/CN102854457A/en
Pending legal-status Critical Current

Links

Images

Landscapes

  • Tests Of Electronic Circuits (AREA)

Abstract

The invention relates to a field programmable gate array (FPGA) evaluating method which includes: performing requirement verification on FPGA codes according to an assignment book supplied by a developer; performing checking on codes of FPGA configuration items; performing code rule checking on the FPGA configuration items; performing simulation and verification on the FPGA configuration items; performing time sequence analyzing on an FPGA; and submitting the problems emerging in the processes to an FPGA developer to enable the developer to perform code improvement on the FPGA. Before the FPGA evaluating method is provided, only a designer and a verifier exist in development of the FPGA, and no independent evaluating third party exists. Along with increasingly wide application of the FPGA in the high-grade field and particularly application in the field of aerospace science and technology and precision guided munition, reliability and availability of the FPGA are improved to a very important position by users, and a method for comprehensively evaluating the function of the FPGA is in urgent need. The FPGA evaluating method provides a just and fair FPGA evaluating platform for users from a third party angle and is innovate in the field of FPGA development.

Description

A kind of FPGA evaluating method
Technical field
The present invention relates to the evaluation and test of field programmable logic chip, be specifically related to the evaluation and test of field programmable logic chip code.
Background technology
Chip mainly is divided into two large classes: special IC (application specificintegrated circuits is called for short ASIC) and field programmable logic (Field-ProgrammableGate Arra is called for short FPGA).ASIC is through the chip of typing after manufacturing and designing, and can not change again; FPGA then is the chip that can change design circuit.FPGA has compared its obvious characteristics with the asic chip design, and its product advantage embodies a concentrated reflection of the following aspects:
Without the design processing charges---the cost relevant with ASIC design processing;
Need not special production---utilize product ready-made on the market, shortened the design cycle
Change is flexible---on-the-spot reprogrammable ability.
And the asic chip design then has the aspects such as certain cost advantage and miniaturization and has its corresponding product advantage when large capacity is produced.
Just because of this, FPGA obtains general use in all trades and professions.The application of FPGA product expands to the widely field such as Aero-Space, consumer electronics, automotive electronics, Industry Control, thermometrically from original communication.Along with the expansion of application, thing followed problem is how to guarantee that the design code of FPGA meets the requirement of task.Especially in the application of some special dimensions, such as Aero-Space, just be difficult to go change in case the FPGA of design goes wrong after equipment is worked, and the result who brings is exactly catastrophic, loss also is huge again.This has strict control program to check in FPGA Code Design, checking, delivery process with regard to requiring, simultaneously in order to guarantee reliability and the credibility of control program execution, should carry out these programs by the three parts, namely finish respectively whole flow process by design, checking, evaluation and test three parts.
In the market the Code Design of FPGA itself there has been relevant product with checking, but also do not had to do for the third party specially technology and the product of FPGA evaluation and test.
Summary of the invention
Technical matters to be solved by this invention provides a kind of FPGA evaluating method, and the FPGA code is carried out just independently evaluation and test from aspects such as mission requirements, code quality, function realizations.
The technical scheme that the present invention solves the problems of the technologies described above is as follows:
A kind of FPGA evaluating method comprises:
Step 1: the charter according to exploitation side provides, carry out requirements verification to the FPGA code;
Step 2: FPGA configuration item code is checked;
Step 3: the FPGA configuration item is carried out the coding rule inspection;
Step 4: the FPGA configuration item is carried out emulation and checking;
Step 5: FPGA is carried out time series analysis;
Step 6: the problem that occurs in the said process is submitted to FPGA exploitation side, improve so that exploitation side carries out code to FPGA.
Further, also can comprise the requirements verification result according to the FPGA code in the step 1 of said method, the process of output checking statement of requirements.
Further, also can comprise the check result according to the FPGA configuration item in the step 2 of said method, the process of output configuration item audit report.
Further, also can comprise the coding rule check result according to the FPGA configuration item in the step 3 of said method, the process of output encoder rule audit report.
Further, also can comprise emulation and the result according to the FPGA configuration item in the step 4 of said method, the process of Output simulation checking report.
Further, also can comprise the time series analysis result according to FPGA in the step 5 of said method, the process of output timing analysis report.
Further, also can comprise the report that obtains according in above-mentioned each process in the step 6 in said method and each the further scheme, the process of output checking final report.
Further, said method and each further scheme in, after step 6, can also comprise: repeat step 1 to step 5, and the process of the as a result output regression checking report that obtains according to step 1 to step 5.
Beneficial effect of the present invention is: along with FPGA obtains using more and more widely in high-grade, precision and advanced field, especially in the application in Space Science and Technology and precision guided weapon field, the user brings up to a very important status to the reliabilty and availability of FPGA, evaluates and tests the function of FPGA in the urgent need to a kind of means are arranged comprehensively.And before the present invention, the exploitation of FPGA only has design side and authentication, does not have the third party of independent evaluation and test.The present invention is from third-party angle, and for the user provides just, a fair FPGA evaluation and test platform, this is an innovation at the FPGA development field.
Description of drawings
Fig. 1 is the FPGA evaluation and test platform framework synoptic diagram among the present invention;
Embodiment
Below in conjunction with accompanying drawing principle of the present invention and feature are described, institute gives an actual example and only is used for explaining the present invention, is not be used to limiting scope of the present invention.
Following examples are platforms of integrated various emulation and testing tool, and cover whole process according to the workflow of setting.
Platform framework
As shown in Figure 1, comprise simulating, verifying environment, DUT (Device Under Test, proving installation) and test case (Test Bench), wherein the simulating, verifying environment has comprised design environment, triplication redundancy instrument, operating system and simulation validation tool.
Workflow of the present invention comprises:
1. third-party authentication demand: according to the charter that exploitation side provides, do the demand analysis of FPGA code verification.Output: third-party authentication statement of requirements.
2.FPGA code walkthrough: FPGA configuration item to be measured is checked the rear formation questionnaire of pinpointing the problems.Output: Walkthrough report.
3. third party's coding rule checks: adopt specific purpose tool FPGA configuration item to be measured to be carried out the coding rule inspection, the rear formation questionnaire of pinpointing the problems.Output: third party's coding rule audit report
4. third party's simulating, verifying plan: FPGA configuration item to be measured is done the simulating, verifying plan.Output: third party's simulating, verifying planning report.
5. implement the simulating, verifying process: adopt specific purpose tool that FPGA configuration item to be measured is carried out emulation and checking.Output: third party's simulating, verifying report.
6. time series analysis: adopt specific purpose tool that FPGA to be measured is carried out time series analysis.Output: third party's time series analysis report.
7. checking is summed up: after finishing above process, the output file of each process is done analysis and summary.Output: third-party authentication final report.
8. return checking: the problem of finding in the evaluation and test process is submitted to FPGA exploitation side, after exploitation side improves code, do again checking.Output: the third party returns the checking report.
Before the present invention, the exploitation of FPGA only has design side and authentication, does not have the third party of independent evaluation and test.Along with FPGA obtains using more and more widely in high-grade, precision and advanced field, especially in the application in Space Science and Technology and precision guided weapon field, the user brings up to a very important status to the reliabilty and availability of FPGA, evaluates and tests the function of FPGA in the urgent need to a kind of means are arranged comprehensively.The present invention is from third-party angle, and for the user provides just, a fair FPGA evaluation and test platform, this is an innovation at the FPGA development field.
The above only is preferred embodiment of the present invention, and is in order to limit the present invention, within the spirit and principles in the present invention not all, any modification of doing, is equal to replacement, improvement etc., all should be included within protection scope of the present invention.

Claims (8)

1. a FPGA evaluating method is characterized in that, comprising:
Step 1: the charter according to exploitation side provides, carry out requirements verification to the FPGA code;
Step 2: FPGA configuration item code is checked;
Step 3: the FPGA configuration item is carried out the coding rule inspection;
Step 4: the FPGA configuration item is carried out emulation and checking;
Step 5: FPGA is carried out time series analysis;
Step 6: the problem that occurs in the said process is submitted to FPGA exploitation side, improve so that exploitation side carries out code to FPGA.
2. FPGA evaluating method according to claim 1 is characterized in that, also comprises the requirements verification result according to the FPGA code in the step 1, the process of output checking statement of requirements.
3. FPGA evaluating method according to claim 1 is characterized in that, also comprises the check result according to the FPGA configuration item in the step 2, the process of output configuration item audit report.
4. FPGA evaluating method according to claim 1 is characterized in that, also comprises the coding rule check result according to the FPGA configuration item in the step 3, the process of output encoder rule audit report.
5. FPGA evaluating method according to claim 1 is characterized in that, also comprises emulation and the result according to the FPGA configuration item in the step 4, the process of Output simulation checking report.
6. FPGA evaluating method according to claim 1 is characterized in that, also comprises the time series analysis result according to FPGA in the step 5, the process of output timing analysis report.
7. according to claim 1 to 6 each described FPGA evaluating methods, it is characterized in that, also comprise the report that obtains according in above-mentioned each process in the step 6, the process of output checking final report.
8. according to claim 1 to 6 each described FPGA evaluating methods, it is characterized in that, after step 6, also comprise: repeat step 1 to step 5, and verify the process of report according to the as a result output regression that step 1 to step 5 obtains.
CN2011101828877A 2011-07-01 2011-07-01 Field programmable gate array (FPGA) evaluating method Pending CN102854457A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN2011101828877A CN102854457A (en) 2011-07-01 2011-07-01 Field programmable gate array (FPGA) evaluating method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN2011101828877A CN102854457A (en) 2011-07-01 2011-07-01 Field programmable gate array (FPGA) evaluating method

Publications (1)

Publication Number Publication Date
CN102854457A true CN102854457A (en) 2013-01-02

Family

ID=47401208

Family Applications (1)

Application Number Title Priority Date Filing Date
CN2011101828877A Pending CN102854457A (en) 2011-07-01 2011-07-01 Field programmable gate array (FPGA) evaluating method

Country Status (1)

Country Link
CN (1) CN102854457A (en)

Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1667589A (en) * 2005-04-15 2005-09-14 清华大学 Structure-irrelevant micro-processor verification and evaluation method
CN101140314A (en) * 2007-10-12 2008-03-12 电子科技大学 On-site programmable gate array wire laying channel verification method and system thereof
CN101153892A (en) * 2007-10-12 2008-04-02 成都华微电子系统有限公司 Verification method for field programmable gate array input/output module
CN101191819A (en) * 2006-11-21 2008-06-04 国际商业机器公司 FPGAFPGA, FPGA configuration, debug system and method
US20080163016A1 (en) * 2004-05-26 2008-07-03 International Business Machines Corporation System and method of providing error detection and correction capability in an integrated circuit using redundant logic cells of an embedded fpga
CN101262380A (en) * 2008-04-17 2008-09-10 中兴通讯股份有限公司 A device and method for FPGA simulation
CN101369001A (en) * 2008-10-17 2009-02-18 北京星网锐捷网络技术有限公司 Apparatus used for debugging programmable chip and field programmable gate array chip

Patent Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20080163016A1 (en) * 2004-05-26 2008-07-03 International Business Machines Corporation System and method of providing error detection and correction capability in an integrated circuit using redundant logic cells of an embedded fpga
CN1667589A (en) * 2005-04-15 2005-09-14 清华大学 Structure-irrelevant micro-processor verification and evaluation method
CN101191819A (en) * 2006-11-21 2008-06-04 国际商业机器公司 FPGAFPGA, FPGA configuration, debug system and method
CN101140314A (en) * 2007-10-12 2008-03-12 电子科技大学 On-site programmable gate array wire laying channel verification method and system thereof
CN101153892A (en) * 2007-10-12 2008-04-02 成都华微电子系统有限公司 Verification method for field programmable gate array input/output module
CN101262380A (en) * 2008-04-17 2008-09-10 中兴通讯股份有限公司 A device and method for FPGA simulation
CN101369001A (en) * 2008-10-17 2009-02-18 北京星网锐捷网络技术有限公司 Apparatus used for debugging programmable chip and field programmable gate array chip

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
刘子宜等: "基于软件测试技术的FPGA测试研究", 《电子技术应用》 *

Similar Documents

Publication Publication Date Title
CN100428252C (en) System and method for testing and measuring percentage of coverage of function
CN112417798B (en) Time sequence testing method and device, electronic equipment and storage medium
KR101255744B1 (en) System and the method for measuring dependability of embedded systems using hybrid fault injection
RU2013147142A (en) SYSTEM AND METHOD OF VERIFICATION AND CERTIFICATION OF RESERVE SOFTWARE IN PLC SYSTEMS (PROGRAMMABLE LOGIC MANAGEMENT)
CN102043709A (en) Software test system
Brown et al. Software testing
Chen et al. Fast node merging with don't cares using logic implications
CN108984945B (en) Simulation verification platform based on multi-core joint simulation verified design
CN112632882A (en) Device and method for verifying arbiter based on formal verification
CN106021113A (en) Method for realizing accurate test
CN102508766A (en) Static analysis method of errors during operation of aerospace embedded C language software
Markiegi et al. Dynamic test prioritization of product lines: An application on configurable simulation models
CN102854457A (en) Field programmable gate array (FPGA) evaluating method
CN103488571A (en) Method for verifying correctness of JavaScript procedure in mixed mode
Ledinot et al. Joint use of static and dynamic software verification techniques: a cross-domain view in safety critical system industries
Pathania et al. Role of test case prioritization based on regression testing using clustering
Abraham et al. Test-driven goal-directed debugging in spreadsheets
Frank et al. From common strategies and approaches to virtual integration
Esposito et al. Qualification and selection of off-the-shelf components for safety critical systems: A systematic approach
Özçelik et al. Test-Driven Approach for Safety-Critical Software Development.
Miranda et al. Using simulink design verifier for automatic generation of requirements-based tests
Jacobson Validation of software in measuring instruments
CN103593284A (en) Test method and test device
Khatri et al. Fault Injection and Test Approach for Behavioural Verilog Designs using the Proposed RASP-FIT Tool
Ferrante et al. A methodology for formal requirements validation and automatic test generation and application to aerospace systems

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C02 Deemed withdrawal of patent application after publication (patent law 2001)
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20130102