CN108897724A - Function schedule determines method and device - Google Patents
Function schedule determines method and device Download PDFInfo
- Publication number
- CN108897724A CN108897724A CN201810722197.8A CN201810722197A CN108897724A CN 108897724 A CN108897724 A CN 108897724A CN 201810722197 A CN201810722197 A CN 201810722197A CN 108897724 A CN108897724 A CN 108897724A
- Authority
- CN
- China
- Prior art keywords
- function
- covering
- code
- variable
- variables
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/10—Text processing
- G06F40/12—Use of codes for handling textual entities
- G06F40/151—Transformation
-
- 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
- G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
- G06F30/398—Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/33—Intelligent editors
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- General Physics & Mathematics (AREA)
- Geometry (AREA)
- Evolutionary Computation (AREA)
- Software Systems (AREA)
- Health & Medical Sciences (AREA)
- Artificial Intelligence (AREA)
- Audiology, Speech & Language Pathology (AREA)
- Computational Linguistics (AREA)
- General Health & Medical Sciences (AREA)
- Debugging And Monitoring (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The invention discloses a kind of function schedules to determine method and device, is related to chip functions verifying field, including:Pre-generated XML file is obtained, XML file includes:The variable and range of variables that covering group corresponding with each function to be tested is covered;Using custom script, variable and range of variables that multiple covering groups are covered are converted into function coverage code;By function coverage code instance;When receiving the enabled instruction of verification platform, each covering group is called in the function coverage code of instantiation, so that each covering group obtains the progress msg of function to be tested corresponding with itself;Start the verifying automatized script being stored in preset path, multiple progress msgs of multiple test functions are subjected to demonstration plan reactionary slogan, anti-communist poster, obtain progress report.A kind of function schedule of the invention determines method and device, and automatic generation function covers code, writes manually without verifying personnel, saves the working time, improves functional verification efficiency.
Description
Technical field
The present invention relates to chip functions to verify field, determines method and device more particularly, to a kind of function schedule.
Background technique
Demonstration plan report tool (VMM Planner) is provided for user and is made a plan work early period in verifying, and
The strong solution of monitoring, report, tracking plan in the entire verifying course of work.Currently, VMM Planner is presented as
Discrete functional block, for example, with the text edit tool editor's HVP format verification plan, with Microsoft Office Excel
Tool editor's XML format demonstration plan, develops the reactionary slogan, anti-communist poster tool for XML format, in URG (test coverage report generation
Tool) in extend reactionary slogan, anti-communist poster tool etc. for HVP format.
However have been found that in the actual operation process, the progress that this demonstration plan report tool can not be full-automatic,
It also needs to verify personnel much manually operate.But the ASIC project stringent for a time requirement, in face of a large amount of
The verifying of sophisticated functions, verifying personnel often is all the volume for carrying out function coverage code again when entire project draws to an end
It writes, and the code path of the covering group in the coverage rate code is also required to verifying personnel and marks phase in demonstration plan manually
Position is answered, the working time of verifying personnel is considerably increased, causes functional verification efficiency lower.
Summary of the invention
In view of this, the purpose of the present invention is to provide a kind of function schedules to determine method and device, to alleviate
The progress that demonstration plan report tool cannot be full-automatic in the prior art, the personnel of verifying need to write function coverage code and
Corresponding position of the code path of covering group into demonstration plan is marked, the working time of verifying personnel is considerably increased, causes
The lower technical problem of functional verification efficiency.
In a first aspect, the embodiment of the invention provides a kind of function schedules to determine method, including:It obtains pre-generated
XML file, the XML file includes:The variable and range of variables that covering group corresponding with each function to be tested is covered;
Using custom script, the variable that multiple covering groups in the XML file are covered and range of variables conversion
For function coverage code;
By the function coverage code instance, the function coverage code that is instantiated;
When receiving the enabled instruction of verification platform, each covering is called in the function coverage code of instantiation
Group, so that each covering group obtains the progress msg of function to be tested corresponding with itself;
Start the verifying automatized script that is stored in preset path, so that the verifying automatized script is by multiple tests
The corresponding multiple progress msgs of function carry out demonstration plan reactionary slogan, anti-communist poster, obtain progress report.
With reference to first aspect, the embodiment of the invention provides the first possible embodiments of first aspect, wherein benefit
With custom script, variable and range of variables that multiple covering groups in the XML file are covered are converted into functional coverage
Rate code, including:
Extracted respectively from pre-generated XML file the corresponding variable name of each covering point that multiple covering groups include and
Range of variables;
According to the coverage rate code building rule in the custom script, the multiple covering groups extracted are covered
Variable and range of variables are converted to the function coverage code.
With reference to first aspect, the embodiment of the invention provides second of possible embodiments of first aspect, wherein institute
State according to the coverage rate code building rule in the custom script, the variable that the multiple covering groups extracted are covered and
Range of variables is converted to the function coverage code, including:
Preset code building template is obtained, the code building template includes:The corresponding variable name filling of each variable name
Position and container insert region, and container filling region, which is used to insert, corresponding with the variable name covers included more
The container parameters of a container;
The container parameters of multiple containers are generated according to each covering point corresponding variable name and range of variables;
Multiple variable names are inserted into the filling of multiple variables in code building template position by preset order respectively, and
The container parameters of container corresponding to each variable name are filled into corresponding container filling region, obtain the functional coverage
Rate code.
With reference to first aspect, the embodiment of the invention provides the third possible embodiments of first aspect, wherein institute
The method of stating further includes:
By the mark of each covering group in the function coverage code and the covering group in verification platform
Store path imported into the predeterminated position in the XML file;
It is called after receiving the enabled instruction of verification platform and in the function coverage code of instantiation each described
Before covering group, further include:
Read the mark and store path of each covering group in the predeterminated position of the XML file.
With reference to first aspect, the embodiment of the invention provides the 4th kind of possible embodiments of first aspect, wherein
Before obtaining pre-generated XML file, including:
Obtain the variable and range of variables that each covering group of user's input is covered;
Variable and range of variables that each covering group is covered are stored in the predeterminated position of Excel form document;
Generate the XML file.
With reference to first aspect, the embodiment of the invention provides the 5th kind of possible embodiments of first aspect, wherein institute
Stating variable includes:Data packet length and slice number etc..
Second aspect, the embodiment of the present invention also provide a kind of functional verification device, including:
Module is obtained, for obtaining pre-generated XML file, the XML file includes:With each function pair to be tested
The variable and range of variables that the covering group answered is covered;
Conversion module, for utilize custom script, the variable that multiple covering groups in the XML file are covered and
Range of variables is converted to function coverage code;
Module is instantiated, the function coverage code for being instantiated the function coverage code instance;
Calling module, for when receiving the enabled instruction of verification platform, in the function coverage code of instantiation
Each covering group is called, so that each covering group obtains the progress msg of function to be tested corresponding with itself;
Starting module, for starting the verifying automatized script being stored in preset path, so that the verifying automates
The corresponding multiple progress msgs of multiple test functions are carried out demonstration plan reactionary slogan, anti-communist poster by script, obtain progress report.
In conjunction with second aspect, the embodiment of the invention provides the first possible embodiments of second aspect, wherein institute
Stating conversion module includes:
Extraction module, each covering point institute for including for extracting multiple covering groups respectively from pre-generated XML file
Corresponding variable name and range of variables;
Converting unit, according to the coverage rate code building rule in the custom script, the multiple coverings that will be extracted
Group covered variable and range of variables are converted to the function coverage code.
The third aspect, the embodiment of the present invention also provide a kind of electronic equipment, including memory and processor, the memory
In be stored with the computer program that can be run on the processor, said program code makes the processor execute described first
Method described in aspect.
Fourth aspect, the embodiment of the present invention also provide a kind of meter of non-volatile program code that can be performed with processor
Calculation machine readable medium, said program code make the processor execute method described in the first aspect.
The embodiment of the present invention brings following beneficial effect:A kind of function schedule provided in an embodiment of the present invention determines
Method and device can save the working time of verifying personnel with automatic generation function coverage rate code, improve functional verification effect
Rate.
Other features and advantages of the present invention will illustrate in the following description, also, partly become from specification
It obtains it is clear that understand through the implementation of the invention.The objectives and other advantages of the invention are in specification, claims
And specifically noted structure is achieved and obtained in attached drawing.
To enable the above objects, features and advantages of the present invention to be clearer and more comprehensible, preferred embodiment is cited below particularly, and cooperate
Appended attached drawing, is described in detail below.
Detailed description of the invention
It, below will be to specific in order to illustrate more clearly of the specific embodiment of the invention or technical solution in the prior art
Embodiment or attached drawing needed to be used in the description of the prior art be briefly described, it should be apparent that, it is described below
Attached drawing is some embodiments of the present invention, for those of ordinary skill in the art, before not making the creative labor
It puts, is also possible to obtain other drawings based on these drawings.
Fig. 1 is the flow diagram that function schedule provided in an embodiment of the present invention determines method;
Fig. 2 is the flow diagram that the function schedule that another embodiment of the present invention provides determines method;
Fig. 3 is the flow diagram that the function schedule that another embodiment of the present invention provides determines method;
Explanatory note in table is converted to function coverage generation for custom script provided in an embodiment of the present invention by Fig. 4
The flow chart of code;
Fig. 5 is the structural schematic diagram for the function schedule determining device that another embodiment of the present invention provides.
Icon:
11- obtains module;12- conversion module;13- instantiates module;14- calling module;15- starting module.
Specific embodiment
In order to make the object, technical scheme and advantages of the embodiment of the invention clearer, below in conjunction with attached drawing to the present invention
Technical solution be clearly and completely described, it is clear that described embodiments are some of the embodiments of the present invention, rather than
Whole embodiments.Based on the embodiments of the present invention, those of ordinary skill in the art are not making creative work premise
Under every other embodiment obtained, shall fall within the protection scope of the present invention.
Now in the case where design complexity is increasing, the requirement for digital circuitry functions verifying is also increasingly
Height, how maximum one challenge is no more than to measure the real progress of verifying work and estimate the end of entire project
Time, required resource etc. improve the predictable of verifying work.
Demonstration plan report tool (VMM planner) can automatically contact the plan of verify data and verifying
Come, so that demonstration plan is become a part that can be executed of verification process itself, when verification process automation tools can be read
When taking demonstration plan, demonstration plan becomes executable.Verification management person can be very square by this automation tools of vmm planner
Just it obtains, tracks and measure the progress of verifying work.
What VMM verification methodology was advocated is the methodology of Coverage- Driven (Coverage Driven), in this method
Under, the formulation of demonstration plan, and the tracking to implementing plan process, effective progress of verification process is played very important
Effect.Therefore, Synopsys (providing the dominant firms of electronic design automation software tool for global IC design) needle
To the planning phase in verifying process and the report stage after the completion of test, it is proposed special tool VMM Planner, with full
The demand of sufficient user.
VMM Planner solves the problems, such as two that above-mentioned two stage need to solve.First problem is demonstration plan
Description.Demonstration plan requirement is a kind of language of formalization, can be received by eda tool, but avoids complicated language again
Method, in addition, it requires certain hierarchical structure, reusability, flexibility, while it also requires have estimating for quantization.Needle
To this problem, VMM Planner provides distinctive HVP language description demonstration plan, while additionally providing in HVP language
It is constructed on basis, Excel form more intuitively, friendly describes demonstration plan.Second Problem is progress status
Reactionary slogan, anti-communist poster.It requires all data progress that test generates to summarize arrangement automatically, corresponding result mark to demonstration plan
In corresponding place.For this problem, VMM Planner is respectively HVP form and Excel form verifying meter
It draws and provides respective reactionary slogan, anti-communist poster tool, the test result data of bottom comes out according to the contents extraction in demonstration plan, carry out
It arranges, summarize, mark into demonstration plan, generate the progress status report of demonstration plan.
Demonstration plan report tool VMM Planner provides for user in verifying customization plan work early period, and provides
The strong solution of monitoring, report and tracking plan in the entirely verifying course of work.Currently, VMM Planner embodies
For some discrete functional blocks, for example, with the text edit tool editor's HVP format verification plan, with Microsoft Office
Excel tool editor's XML format demonstration plan, develops the reactionary slogan, anti-communist poster tool for XML format, in test coverage report generation
The reactionary slogan, anti-communist poster tool etc. for HVP format is extended in tool (URG).
However it has been found that in the actual operation process, the progress that this tool can not be full-automatic, it is also necessary to identifier
Member much manually operate, and steps are as follows:
Step 1, test point explanation is filled in table, i.e. test point is decomposed;
Step 2, functional coverage explanation is filled in table, and code realization is carried out to it;
Step 3, the path of covering group is filled in table, and carries out verification result state reactionary slogan, anti-communist poster.
Above first step be verifying carry out during it is necessary, but the 2nd and the 3rd step it is comparatively laborious, test
Witness person be all often carried out again when entire project draws to an end function coverage code write and reactionary slogan, anti-communist poster, this results in shape
Function coverage data and reactionary slogan, anti-communist poster data in state report are 0, cannot accurately show the progress of verifying.Measure verifying progress
Function coverage code needs to verify personnel and writes, and the code path of the corresponding covering group of the coverage rate is also required to identifier
Member marks the corresponding position into demonstration plan manually, greatly hinders the automatic operating of the tool.
Currently, there is the progress that demonstration plan report tool cannot be full-automatic in technology, the personnel of verifying need to write function
Corresponding position of the code path of coverage rate code and mark covering group into demonstration plan, considerably increases the work of verifying personnel
Make the time, the technical problem for causing functional verification efficiency lower is based on this, a kind of function provided in an embodiment of the present invention complete into
It spends and determines method and device, the working time of verifying personnel can be saved with automatic generation function coverage rate code, improve function and test
Demonstrate,prove efficiency.
It is true to a kind of function schedule disclosed in the embodiment of the present invention first for convenient for understanding the present embodiment
The method of determining describes in detail.
As shown in Figure 1, in one embodiment of the invention, provides a kind of function schedule and determine method, including
Following steps.
S101, obtains pre-generated XML file, and the XML file includes:Covering corresponding with each function to be tested
Group covered variable and range of variables.
Specifically, the function to be tested includes:Data packet forwarding and caching address process etc., each test function is corresponding
One covering group.
As shown in Fig. 2, the method also includes following steps before obtaining pre-generated XML file.
S201 obtains variable (i.e. covering point) and range of variables that each covering group of user's input is covered.
For example, test function is data packet forwarding, covering group (covergroup) corresponding with data packet forwarding is covered
Variable be:Data packet length pkt_len [1:12];Slice number cell_num [2:5];Error signal tuser;Significance bit
Signal tkeep.In all examples being illustrated and described herein, any occurrence should be construed as merely illustratively, and
Not by way of limitation, therefore, other examples of exemplary embodiment can have different values.
Variable and range of variables that each covering group is covered are stored in the default of Excel form document by S202
Position.
Specifically, variable and range of variables that each covering group is covered to be write on to the 8th column in Excel form document
(i.e. the description of coverage area-coverage description).
S203 generates the XML file.
Specifically, verifying personnel, which will finish writing, is stored as xml format in Excel form document, such as file is entitled
sw.xml。
S102, using custom script, the variable that multiple covering groups in the XML file are covered and range of variables
Be converted to function coverage code.
Specifically, this document sw.xml is imported into linux work by verifying personnel, realized automatically using custom script
8th column explanatory note (variable and range of variables that i.e. multiple covering groups are covered) arrives the conversion of function coverage code, side
Method specifically includes following steps.
Extracted respectively from pre-generated XML file the corresponding variable name of each covering point that multiple covering groups include and
Range of variables.
In practical applications, custom script is by calling function to propose the information of each row and column of file sw.xml
It takes, and judges whether it is the 8th column, if so, the information of the column is converted into function coverage code.
Later according to the coverage rate code building rule in the custom script, the multiple covering groups extracted are covered
The variable and range of variables of lid are converted to the function coverage code.As shown in figure 3, its specific conversion method includes following step
Suddenly.
S301, obtains preset code building template, and the code building template includes:The corresponding variable name of each variable name
It inserts position and container inserts region, the container filling region is included for inserting covering point corresponding with the variable name
Multiple containers container parameters.
S302 generates the container parameters of multiple containers according to each covering point corresponding variable name and range of variables.
Multiple variable names are inserted the filling of multiple variables in code building template position by preset order respectively by S303
It sets, and the container parameters of container corresponding to each variable name is filled into corresponding container and insert region, obtain the function
It can coverage rate code.
Specifically, coverage rate code building rule, i.e., to each numerical generation one in the range of variables of a variable
Default if not showing the range of variable to each numerical generation function coverage code within the scope of variable bit wide in storehouse
Storehouse.
For example, covering group corresponding with data packet forwarding, for pkt_len [1:12] 12 bin (storehouse) are generated, for
cell_num[2:5] 4 bin are generated, a bin are respectively generated for tuser and tkeep, a portion code is as follows:
The variable covered to all covering groups in the 8th column generates corresponding storehouse, ultimately generates feature capability coverage rate
Code.After systematic function coverage rate code, the method also includes following steps.
By the mark of each covering group in the function coverage code and the covering group in verification platform
Store path imported into the predeterminated position in the XML file.
Specifically, custom script is automatically by the mark of covering group and the covering after systematic function coverage rate code
Store path of the group in verification platform is written in the 9th column of file sw.xml.For example, corresponding data packet subcontracts function, it will
Same a line that range of variables is write with the 8th column is write in the mark of covering group and path, for example, the 50th row the 8th column write range of variables, the
50 rows the 9th arrange mark and the path for writing covering group.
S103, by the function coverage code instance, the function coverage code that is instantiated.
S104 calls each institute when receiving the enabled instruction of verification platform in the function coverage code of instantiation
Covering group is stated, so that each covering group obtains the progress msg of function to be tested corresponding with itself.
Specifically, being called after receiving the enabled instruction of verification platform and in the function coverage code of instantiation
Before each covering group, the method also includes following steps.
The mark and store path of each covering group are read from the predeterminated position of the XML file, it is each to call
A covering group makes each covering group obtain the progress msg (i.e. test percentage) of itself corresponding function to be tested.
S105 starts the verifying automatized script being stored in preset path, so that the verifying automatized script will be more
The corresponding multiple progress msgs of a test function carry out demonstration plan reactionary slogan, anti-communist posters, obtain progress report.
Specifically, verifying automatized script (tool in synopsys) generation includes more during emulating
The temporary file for the test percentage that a test function is faced, emulates middle calling gen_report script and generates final shape
State reports (report), and the test percentage in temporary file is written in the state report.
A kind of function schedule provided in an embodiment of the present invention determines method, the reversed mark of automatic implementation coverage result
The generation of note and state report promotes the demonstration plan management based on VMM Planner to realize full-automatic;And it realizes and tests
Card manager truly tracks and measures verifying work in the overall process of project by this automation tools of vmm planner
The purpose of progress.Also, save the working time of verifying personnel, on the one hand, save verifying personnel in demonstration plan
The time of mark is reversed on table, on the other hand, function coverage Code automatic build improves the efficiency of functional verification,
Authentic and valid data source is provided for vmm planner full-automation execution.
Illustrate that function schedule provided in this embodiment determines the detailed process of method by way of example below:
1. the personnel of verifying the 8th column ((i.e. description-coverage of coverage area in Excel table
Description the variable and range of each covering group covering are write in) exactly.For example, it is as shown in table 1 below, for data packet
This function is forwarded, in the variable (i.e. covering point) and variable that the bright covering group corresponding with the function of 50 row write of the 8th column is covered
Range, such as data packet length pkt_len [1:12], slice number cell_num [2:5], wherein bracket indicates the model of variable
It encloses.This test function is handled for buffer address, in the bright address addr of the 493rd row write of the 8th column:[0:1023], wherein
Addr can be address signal title.
Table 1
2. verifying personnel are stored as xml format, such as the entitled sw.xml of file in Excel form document for what is finished writing.
3. this document sw.xml is imported into linux work, realize that multiple covering groups are covered automatically using custom script
The variable and range of variables of lid) arrive function coverage code conversion.As shown in figure 4, concrete methods of realizing process is as follows:
Custom script is extracted the information of the line information each row and column of file sw.xml by calling function, and
The 8th column are judged whether it is, if so, the information of the column is converted into function coverage code.For example, forwarding this for data packet
One function, 50 row of the 8th column is extracted, and format is:Row, col=(50,8), value=" pkt_len:[1:12]cell_
num:[2:5] tusertkeep ", then further according to coverage rate code building rule systematic function covering group code, for pkt_
len[1:12] 12 bin are generated, for cell_num [2:5] 4 bin are generated, one is respectively generated for tuser and tkeep
bin.For other test functions, the process of systematic function covering group code is same as described above.It includes more for ultimately generating
The function coverage code of a covering group.
4. after systematic function coverage rate code, custom script is by each covering group in the function coverage code
Store path in verification platform of mark and the covering group imported into the predeterminated position in the XML file.Example
Such as, as shown in table 1, the name of the covering group and path are write the 50th row by the covering group that this function is forwarded for data packet
In 9th column, the variable and the same a line of range of variables that are covered with the covering group.
5. by the function coverage code instance into verification platform, the function coverage code instantiated,
Obtain the instance object of function coverage code.
6. executing functional verification emulation.When receiving the enabled instruction of verification platform, from the default of the XML file
The mark and store path that each covering group is read in position, call each cover in the function coverage code of instantiation
The instance object of lid group so that the instance object of each covering group obtain corresponding with itself function to be tested into
Spend information (i.e. test percentage).
7. starting the verifying automatized script based on Vmm planner, during emulating, automatized script is verified
(tool in synopsys) generation includes the temporary file for the test percentage that multiple test functions are faced, and emulates middle tune
Final state report (report) is generated with gen_report script, the shape is written into the test percentage in temporary file
In state report.
Function schedule provided by the invention determines that method has the following advantages that in demonstration plan management:
1. using script is defined, automatic generation function coverage rate code improves the efficiency of verifying personnel's functional verification.
2. for vmm planner full-automation execution provide authentic and valid data source, convenient for project administrator from
Project truly tracks and measures at the very start verifying job progress, and then controls to the progress of entire project.
3. verifying automatized script using vmm planner, the automatic back annotation for carrying out coverage rate result is automatically generated
State report promotes the demonstration plan management based on VMM Planner to realize full-automatic.
4. this method is not only adapted to the verification platform based on UVM methodology, it is also adapted to testing based on VMM methodology
Demonstrate,prove platform.
The technical effect and preceding method embodiment phase of device provided by the embodiment of the present invention, realization principle and generation
Together, to briefly describe, Installation practice part does not refer to place, can refer to corresponding contents in preceding method embodiment.Such as Fig. 5 institute
Show, in another embodiment of the present invention, additionally provides a kind of function schedule determining device, including:Acquisition module 11,
Conversion module 12, instantiation module 13, calling module 14 and starting module 15.
Module 11 is obtained, for obtaining pre-generated XML file, the XML file includes:With each function to be tested
The variable and range of variables that corresponding covering group is covered.
Conversion module 12, for utilizing custom script, the variable that multiple covering groups in the XML file are covered
And range of variables is converted to function coverage code.
Module 13 is instantiated, the function coverage generation for being instantiated the function coverage code instance
Code;
Calling module 14, for when receiving the enabled instruction of verification platform, in the function coverage code of instantiation
It is middle to call each covering group, so that each covering group obtains the progress msg of function to be tested corresponding with itself.
Starting module 15, for starting the verifying automatized script being stored in preset path, so that the verifying is automatic
Change script and the corresponding multiple progress msgs of multiple test functions are subjected to demonstration plan reactionary slogan, anti-communist poster, obtains progress report.
On the basis of previous embodiment, the conversion module includes:Extraction module and converting unit.
Extraction module, each covering point institute for including for extracting multiple covering groups respectively from pre-generated XML file
Corresponding variable name and range of variables;
Converting unit, according to the coverage rate code building rule in the custom script, the multiple functions that will be extracted
The variable and range of variables that coverage rate is covered are converted to the function coverage code.
In another embodiment of the present invention, a kind of electronic equipment, including memory, processor are additionally provided, it is described
The computer program that can be run on the processor is stored in memory, said program code makes the processor execute institute
It states function schedule and determines method described in method.
In another embodiment of the present invention, a kind of non-volatile program generation that can be performed with processor is additionally provided
The computer-readable medium of code, said program code state function schedule and determine method described in method.
Unless specifically stated otherwise, the opposite step of the component and step that otherwise illustrate in these embodiments, digital table
It is not limit the scope of the invention up to formula and numerical value.
It is apparent to those skilled in the art that for convenience and simplicity of description, the system of foregoing description
It with the specific work process of device, can refer to corresponding processes in the foregoing method embodiment, details are not described herein.
The flow chart and block diagram in the drawings show the system of multiple embodiments according to the present invention, method and computer journeys
The architecture, function and operation in the cards of sequence product.In this regard, each box in flowchart or block diagram can generation
A part of one module, section or code of table, a part of the module, section or code include one or more use
The executable instruction of the logic function as defined in realizing.It should also be noted that in some implementations as replacements, being marked in box
The function of note can also occur in a different order than that indicated in the drawings.For example, two continuous boxes can actually base
Originally it is performed in parallel, they can also be executed in the opposite order sometimes, and this depends on the function involved.It is also noted that
It is the combination of each box in block diagram and or flow chart and the box in block diagram and or flow chart, execution can be used
Defined function or the dedicated hardware based system of movement realize, or can use specialized hardware and computer instruction
Combination is to realize.
Function schedule provided by the embodiment of the present invention determines the computer program product of method and device, including deposits
The computer readable storage medium of program code is stored up, the instruction that said program code includes can be used for executing previous methods implementation
Method described in example, specific implementation can be found in embodiment of the method, and details are not described herein.
It, can be with if the function is realized in the form of SFU software functional unit and when sold or used as an independent product
It is stored in a computer readable storage medium.Based on this understanding, technical solution of the present invention is substantially in other words
The part of the part that contributes to existing technology or the technical solution can be embodied in the form of software products, the meter
Calculation machine software product is stored in a storage medium, including some instructions are used so that a computer equipment (can be a
People's computer, server or network equipment etc.) it performs all or part of the steps of the method described in the various embodiments of the present invention.
And storage medium above-mentioned includes:USB flash disk, mobile hard disk, read-only memory (ROM, Read-Only Memory), arbitrary access are deposited
The various media that can store program code such as reservoir (RAM, Random Access Memory), magnetic or disk.
Finally it should be noted that:Embodiment described above, only a specific embodiment of the invention, to illustrate the present invention
Technical solution, rather than its limitations, scope of protection of the present invention is not limited thereto, although with reference to the foregoing embodiments to this hair
It is bright to be described in detail, those skilled in the art should understand that:Anyone skilled in the art
In the technical scope disclosed by the present invention, it can still modify to technical solution documented by previous embodiment or can be light
It is readily conceivable that variation or equivalent replacement of some of the technical features;And these modifications, variation or replacement, do not make
The essence of corresponding technical solution is detached from the spirit and scope of technical solution of the embodiment of the present invention, should all cover in protection of the invention
Within the scope of.Therefore, the protection scope of the present invention shall be subject to the protection scope of the claims.
Claims (10)
1. a kind of function schedule determines method, which is characterized in that including:
Pre-generated XML file is obtained, the XML file includes:Covering group corresponding with each function to be tested is covered
Variable and range of variables;
Using custom script, variable and range of variables that multiple covering groups in the XML file are covered are converted into function
It can coverage rate code;
By the function coverage code instance, the function coverage code that is instantiated;
When receiving the enabled instruction of verification platform, each covering group is called in the function coverage code of instantiation,
So that each covering group obtains the progress msg of function to be tested corresponding with itself;
Start the verifying automatized script that is stored in preset path, so that the verifying automatized script is by multiple test functions
Corresponding multiple progress msgs carry out demonstration plan reactionary slogan, anti-communist poster, obtain progress report.
2., will be multiple in the XML file the method according to claim 1, wherein using custom script
The variable and range of variables that covering group is covered are converted to function coverage code, including:
Extract variable name and variable corresponding to each covering point that multiple covering groups include respectively from pre-generated XML file
Range;
According to the coverage rate code building rule in the custom script, the variable that the multiple covering groups extracted are covered
And range of variables is converted to the function coverage code.
3. according to the method described in claim 2, it is characterized in that, the coverage rate code according in the custom script
Variable and range of variables that the multiple covering groups extracted are covered are converted to the function coverage code by create-rule,
Including:
Preset code building template is obtained, the code building template includes:Each variable name corresponding variable name filling position
And container inserts region, container filling region is used to insert multiple appearances that covering point corresponding with the variable name is included
The container parameters of device;
The container parameters of multiple containers are generated according to each covering point corresponding variable name and range of variables;
Multiple variable names are inserted into the filling of multiple variables in code building template position by preset order respectively, and will be each
The container parameters of container corresponding to the variable name are filled into corresponding container filling region, obtain the function coverage generation
Code.
4. according to the method described in claim 3, it is characterized in that, the method also includes:
By the storage of the mark and the covering group of each covering group in the function coverage code in verification platform
Path imported into the predeterminated position in the XML file;
Each covering is called after receiving the enabled instruction of verification platform and in the function coverage code of instantiation
Before group, further include:
Read the mark and store path of each covering group in the predeterminated position of the XML file.
5. according to the method described in claim 4, it is characterized in that, before obtaining pre-generated XML file, including:
Obtain the variable and range of variables that each covering group of user's input is covered;
Variable and range of variables that each covering group is covered are stored in the predeterminated position of Excel form document;
Generate the XML file.
6. according to the method described in claim 5, it is characterized in that, the variable includes:Data packet length and slice number etc..
7. a kind of function schedule determining device, which is characterized in that including:
Module is obtained, for obtaining pre-generated XML file, the XML file includes:It is corresponding with each function to be tested
The variable and range of variables that covering group is covered;
Conversion module, for utilizing custom script, the variable and variable that multiple covering groups in the XML file are covered
Range is converted to function coverage code;
Module is instantiated, the function coverage code for being instantiated the function coverage code instance;
Calling module, for being called in the function coverage code of instantiation when receiving the enabled instruction of verification platform
Each covering group, so that each covering group obtains the progress msg of function to be tested corresponding with itself;
Starting module, for starting the verifying automatized script being stored in preset path, so that the verifying automatized script
The corresponding multiple progress msgs of multiple test functions are subjected to demonstration plan reactionary slogan, anti-communist poster, obtain progress report.
8. device according to claim 7, which is characterized in that the conversion module includes:
Extraction module, for being extracted respectively from pre-generated XML file corresponding to each covering point that multiple covering groups include
Variable name and range of variables;
Converting unit, according to the coverage rate code building rule in the custom script, the multiple covering group institutes that will be extracted
The variable and range of variables of covering are converted to the function coverage code.
9. a kind of electronic equipment, including memory and processor, it is stored with and can runs on the processor in the memory
Computer program, which is characterized in that it is any described that said program code makes the processor execute the claim 1 to 6
Method.
10. a kind of computer-readable medium for the non-volatile program code that can be performed with processor, which is characterized in that described
Program code makes the processor execute any method of the claim 1 to 6.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810722197.8A CN108897724B (en) | 2018-07-03 | 2018-07-03 | Function completion progress determining method and device |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810722197.8A CN108897724B (en) | 2018-07-03 | 2018-07-03 | Function completion progress determining method and device |
Publications (2)
Publication Number | Publication Date |
---|---|
CN108897724A true CN108897724A (en) | 2018-11-27 |
CN108897724B CN108897724B (en) | 2022-11-15 |
Family
ID=64347597
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201810722197.8A Active CN108897724B (en) | 2018-07-03 | 2018-07-03 | Function completion progress determining method and device |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN108897724B (en) |
Cited By (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109977011A (en) * | 2019-03-18 | 2019-07-05 | 平安普惠企业管理有限公司 | Automatic generation method, device, storage medium and the electronic equipment of test script |
CN111859830A (en) * | 2020-06-30 | 2020-10-30 | 山东云海国创云计算装备产业创新中心有限公司 | Verification plan and report generation method, device, equipment and storage medium |
CN112035376A (en) * | 2020-11-05 | 2020-12-04 | 四川科道芯国智能技术股份有限公司 | Method, device, equipment and storage medium for generating coverage rate report |
CN112464499A (en) * | 2020-12-24 | 2021-03-09 | 深圳市芯天下技术有限公司 | Nonvolatile chip erasing data checking method, device, storage medium and terminal |
CN112527587A (en) * | 2020-12-03 | 2021-03-19 | 深圳大普微电子科技有限公司 | Verification progress determining method, device, equipment and readable storage medium |
CN112527636A (en) * | 2020-12-01 | 2021-03-19 | 浙江中航通飞研究院有限公司 | Simplified verification method of avionics system |
CN112560390A (en) * | 2020-12-23 | 2021-03-26 | 海光信息技术股份有限公司 | Method, device and equipment for automatically generating ignore bin in cross coverage point |
CN113158607A (en) * | 2021-04-20 | 2021-07-23 | 四川微巨芯科技有限公司 | SystemVerilog coverage set generation method and device |
CN113626390A (en) * | 2021-08-20 | 2021-11-09 | 中国第一汽车股份有限公司 | BB file generation method and device, electronic equipment and storage medium |
CN113705150A (en) * | 2021-07-23 | 2021-11-26 | 合肥忆芯电子科技有限公司 | Method and equipment for generating coverage group |
CN116136950A (en) * | 2023-04-14 | 2023-05-19 | 北京燧原智能科技有限公司 | Chip verification method, device, system, electronic equipment and storage medium |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2014110922A1 (en) * | 2013-01-18 | 2014-07-24 | 浪潮电子信息产业股份有限公司 | Extended cache coherence protocol-based multi-level coherence domain simulation verification and test method |
CN105302573A (en) * | 2015-11-20 | 2016-02-03 | 浪潮集团有限公司 | Method for building function point matching setting automation platform for function verification platform |
CN105589805A (en) * | 2015-12-16 | 2016-05-18 | 北京奇虎科技有限公司 | Method and device for generating code coverage rate report |
-
2018
- 2018-07-03 CN CN201810722197.8A patent/CN108897724B/en active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2014110922A1 (en) * | 2013-01-18 | 2014-07-24 | 浪潮电子信息产业股份有限公司 | Extended cache coherence protocol-based multi-level coherence domain simulation verification and test method |
CN105302573A (en) * | 2015-11-20 | 2016-02-03 | 浪潮集团有限公司 | Method for building function point matching setting automation platform for function verification platform |
CN105589805A (en) * | 2015-12-16 | 2016-05-18 | 北京奇虎科技有限公司 | Method and device for generating code coverage rate report |
Non-Patent Citations (2)
Title |
---|
方颖立: ""验证计划报表工具VMM Planner"", 《电子设计技术》 * |
高波: ""VMM Planner-验证计划自动化"", 《复旦大学硕士学位论文》 * |
Cited By (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109977011A (en) * | 2019-03-18 | 2019-07-05 | 平安普惠企业管理有限公司 | Automatic generation method, device, storage medium and the electronic equipment of test script |
CN111859830A (en) * | 2020-06-30 | 2020-10-30 | 山东云海国创云计算装备产业创新中心有限公司 | Verification plan and report generation method, device, equipment and storage medium |
CN112035376A (en) * | 2020-11-05 | 2020-12-04 | 四川科道芯国智能技术股份有限公司 | Method, device, equipment and storage medium for generating coverage rate report |
CN112527636A (en) * | 2020-12-01 | 2021-03-19 | 浙江中航通飞研究院有限公司 | Simplified verification method of avionics system |
CN112527587A (en) * | 2020-12-03 | 2021-03-19 | 深圳大普微电子科技有限公司 | Verification progress determining method, device, equipment and readable storage medium |
CN112560390A (en) * | 2020-12-23 | 2021-03-26 | 海光信息技术股份有限公司 | Method, device and equipment for automatically generating ignore bin in cross coverage point |
CN112464499A (en) * | 2020-12-24 | 2021-03-09 | 深圳市芯天下技术有限公司 | Nonvolatile chip erasing data checking method, device, storage medium and terminal |
CN112464499B (en) * | 2020-12-24 | 2023-05-26 | 芯天下技术股份有限公司 | Nonvolatile chip erasing data checking method and device, storage medium and terminal |
CN113158607A (en) * | 2021-04-20 | 2021-07-23 | 四川微巨芯科技有限公司 | SystemVerilog coverage set generation method and device |
CN113158607B (en) * | 2021-04-20 | 2023-09-29 | 四川微巨芯科技有限公司 | SystemVerilog overlay set generation method and device |
CN113705150A (en) * | 2021-07-23 | 2021-11-26 | 合肥忆芯电子科技有限公司 | Method and equipment for generating coverage group |
CN113705150B (en) * | 2021-07-23 | 2024-06-04 | 合肥忆芯电子科技有限公司 | Method and equipment for generating coverage group |
CN113626390A (en) * | 2021-08-20 | 2021-11-09 | 中国第一汽车股份有限公司 | BB file generation method and device, electronic equipment and storage medium |
CN116136950A (en) * | 2023-04-14 | 2023-05-19 | 北京燧原智能科技有限公司 | Chip verification method, device, system, electronic equipment and storage medium |
Also Published As
Publication number | Publication date |
---|---|
CN108897724B (en) | 2022-11-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108897724A (en) | Function schedule determines method and device | |
CN105608254B (en) | A kind of the Automation Design method and platform towards Intelligent hardware system development | |
CN106383786A (en) | Interface pressure performance testing method and device and electronic equipment | |
CN106547681B (en) | Method and device for testing data automatic loading and multiplexing simulation service | |
CN101719095A (en) | Method and device for managing regression testing | |
US7822591B2 (en) | Logic circuit model conversion apparatus and method thereof; and logic circuit model conversion program | |
CN105608258A (en) | Model based system design and information flow visualization simulation system and method | |
CN102999419B (en) | A kind of Android test incident record back method and device | |
CN108427809A (en) | A kind of attribute assignment method and device based on assembled architecture | |
CN106202006A (en) | Document generating method and device | |
CN102866944A (en) | Pressure testing system and method | |
CN110096445A (en) | A kind of model is in ring test method and device | |
CN103677821A (en) | Method and device for publishing software development tool code | |
CN105677306A (en) | Automation script compiling method and device | |
CN106599398A (en) | Simulation method and apparatus of space-ground integrated management system | |
CN110471754A (en) | Method for exhibiting data, device, equipment and storage medium in job scheduling | |
CN103942099A (en) | Parallel task execution method and device based on Hive | |
CN104268083A (en) | Software automatic testing method and device | |
CN114912391A (en) | Automatic generation method, device, equipment and medium of register design and verification model | |
CN111190814B (en) | Method and device for generating software test case, storage medium and terminal | |
CN104375934A (en) | Method for testing reliability of Android mobile phone software | |
CN110209584A (en) | A kind of automatic generation of test data and relevant apparatus | |
CN104063324A (en) | Method and system for Monkey test | |
CN110471857A (en) | The automatic test approach and device of artificial intelligence model performance capability | |
CN112286811A (en) | Intelligent station relay protection equipment testing method and system and readable storage medium |
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 | ||
GR01 | Patent grant |