CN116167333B - Chip verification method and device, electronic equipment and storage medium - Google Patents

Chip verification method and device, electronic equipment and storage medium Download PDF

Info

Publication number
CN116167333B
CN116167333B CN202310452142.0A CN202310452142A CN116167333B CN 116167333 B CN116167333 B CN 116167333B CN 202310452142 A CN202310452142 A CN 202310452142A CN 116167333 B CN116167333 B CN 116167333B
Authority
CN
China
Prior art keywords
random
target
parameter
excitation
parameters
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.)
Active
Application number
CN202310452142.0A
Other languages
Chinese (zh)
Other versions
CN116167333A (en
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.)
Suzhou Inspur Intelligent Technology Co Ltd
Original Assignee
Suzhou Inspur Intelligent Technology 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 Suzhou Inspur Intelligent Technology Co Ltd filed Critical Suzhou Inspur Intelligent Technology Co Ltd
Priority to CN202310452142.0A priority Critical patent/CN116167333B/en
Publication of CN116167333A publication Critical patent/CN116167333A/en
Application granted granted Critical
Publication of CN116167333B publication Critical patent/CN116167333B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/39Circuit design at the physical level
    • G06F30/398Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]
    • YGENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02PCLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/30Computing systems specially adapted for manufacturing

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

The application provides a chip verification method and device, electronic equipment and storage medium, wherein the method comprises the following steps: acquiring a plurality of random parameters of a target chip to be verified; acquiring a randomly verified excitation range corresponding to the random parameter; obtaining a target radius from parameter attributes of random parameters, and converting an excitation range into a circle space of uniform disc sampling with the circle radius as the target radius; selecting a target sampling point from the random parameters, and acquiring a first coordinate of the target sampling point in a circle space; and converting the first coordinates according to the parameter attribute of the random parameters to obtain a uniform distribution excitation set of each random parameter. According to the method and the device, the problems that the working difficulty and the workload of a verification engineer are increased and the working efficiency is reduced when the selection of a random excitation range and the setting of a constraint mode are participated in by human operation in the related technology are solved.

Description

Chip verification method and device, electronic equipment and storage medium
Technical Field
The present disclosure relates to the field of chip function verification, and in particular, to a chip verification method and apparatus, an electronic device, and a storage medium.
Background
Verification is an indispensable and critical ring in modern digital integrated circuit design flow, and is aimed at ensuring that design functions are properly implemented according to established design specifications. The time taken to verify can be as high as 60% -70% in a complete project cycle. Currently, the mainstream function verification method in the industry generally uses a random constraint mode, and controlled random input is automatically generated in circuit verification, so that a verification circuit is driven and a verification function is completed.
The chip random verification method is to randomly select excitation to carry out verification coverage of expected maximization on the excitation range according to the excitation constraint range of the verification object when all the excitation ranges cannot be traversed. In chip simulation verification, UVM verification methodologies provide support for random verification, where System Verilog allows a verification engineer to specify constraints in a compact, declarative manner, and then process the constraints by a solver to generate random values that satisfy the constraints. Such constraint generation interfaces provide a defined structure of random incentives, but the choice of what random incentives to choose still requires verification of the engineer's own design. In chip prototype verification, a verification engineer mostly uses a higher-level programming language (such as a C language and an assembly language) to carry out random excitation programming input on chip functions, and the random excitation content and the constraint mode can only be selected by the verification engineer by self without support of a similar UVM methodology.
However, when the manual operation is relied on to participate in the selection of the random excitation range and the setting of the constraint mode, the work difficulty and the workload of the verification engineer are increased, and the overall work efficiency is reduced.
Disclosure of Invention
The application provides a chip verification method and device, electronic equipment and storage medium, and aims to at least solve the problems that in the related art, the workload and difficulty of a verification engineer are increased and the overall working efficiency is reduced due to the fact that the selection of a random excitation range and the setting of a constraint mode are needed to be participated in by manual operation.
According to an aspect of the embodiments of the present application, there is provided a chip verification method for implementing uniformly distributed excitation, the method including:
acquiring a plurality of random parameters of a target chip to be verified;
acquiring a randomly verified excitation range corresponding to the random parameter;
obtaining a target radius from parameter attributes of random parameters, and converting an excitation range into a circle space of uniform disc sampling with the circle radius as the target radius;
selecting a target sampling point from the random parameters, and acquiring a first coordinate of the target sampling point in a circle space;
and converting the first coordinates according to the parameter attribute of the random parameters to obtain a uniform distribution excitation set of each random parameter.
According to another aspect of the embodiments of the present application, there is also provided a chip verification apparatus for implementing uniformly distributed excitation, the apparatus including:
the first acquisition module is used for acquiring a plurality of random parameters of a target chip to be verified;
the second acquisition module is used for acquiring a random verification excitation range corresponding to the random parameter;
the first conversion module is used for obtaining a target radius from the parameter attribute of the random parameter, and converting the excitation range into a circle space of uniform disc sampling with the circle radius as the target radius;
the selecting module is used for selecting a target sampling point from the random parameters and acquiring a first coordinate of the target sampling point in the circular space;
and the second conversion module is used for converting the first coordinates according to the parameter attribute of the random parameters to obtain uniformly distributed excitation sets of the random parameters.
Optionally, the first conversion module includes:
a first determining unit, configured to determine a correlation or independence between random parameters according to the parameter attribute;
a second determining unit for determining a target radius according to the association or the independence;
a third determining unit, configured to determine a conversion range corresponding to the excitation range by using the target radius;
And a generation unit configured to generate a circle space based on the conversion range.
Optionally, the second determining unit includes:
and the first determining submodule is used for determining the target radius according to the excitation range of each random parameter under the condition that the parameter attribute of each random parameter is independent.
Optionally, the second determining unit includes:
and the second determining submodule is used for determining the target radius according to the linear relation between random parameters under the condition that the correlation exists between any two random parameters.
Optionally, the second determining unit includes:
the first obtaining submodule is used for setting each random parameter as a main parameter and taking other random parameters except the random parameter which is currently used as the main parameter as secondary parameters under the condition that there is correlation among three or more random parameters, so as to obtain a secondary parameter set;
the first acquisition sub-module acquires a linear relation between the main parameter and the secondary parameter set;
and a third determination submodule for determining the target radius according to the linear relation.
Optionally, the selecting module includes:
the obtaining unit is used for obtaining a random sampling generator according to the target radius and the current uniformly distributed random number;
And the acquisition unit is used for processing the random parameters by using the random sampling generator and acquiring a plurality of target sampling points for realizing uniform sampling.
Optionally, the second conversion module includes:
a fourth determining unit, configured to determine association or independence between random parameters according to the parameter attribute;
and the conversion unit is used for converting the first coordinates according to the relevance or the independence to obtain an evenly distributed excitation set of each random parameter.
Optionally, the conversion unit includes:
the selecting sub-module is used for selecting coordinate values of the target sampling point under the first coordinate axis or coordinate values of the target sampling point under the second coordinate axis under the condition that the parameter attribute of each random parameter is independent;
and the second obtaining submodule is used for obtaining an evenly distributed excitation set by combining the coordinate values with the excitation range of the random parameters.
Optionally, the conversion unit includes:
a fourth determining submodule, configured to determine, according to a first relationship between coordinate values of the target sampling point and the target radius, if the target sampling point falls within a target radius range of the circular space, in a case where there is a correlation between any two random parameters;
a fifth determining submodule, configured to determine a corresponding processing operation according to a second relation between the target sampling point and the target radius range;
A sixth determination submodule is configured to determine a set of evenly distributed stimuli for each random parameter based on the processing operation.
Optionally, the fourth determining submodule includes:
the first determining subunit is configured to determine, according to a preset rule, that the target sampling point falls within a target radius range if a sum of coordinate values of the first coordinate axis and coordinate values of the second coordinate axis of the target sampling point is less than or equal to the target radius;
and the second determining subunit is used for determining that the target sampling point falls outside the target radius range according to a preset principle if the sum of the coordinate values of the first coordinate axis and the coordinate values of the second coordinate axis of the target sampling point is larger than the target radius.
Optionally, the sixth determining submodule includes:
the first obtaining subunit is used for not converting the first coordinate under the condition that the target sampling point is determined to be in the target radius range, and obtaining an evenly distributed excitation set of each random parameter by utilizing the first coordinate;
and the second obtaining subunit is used for discarding the target sampling point or converting the first coordinate under the condition that the target sampling point is determined to be outside the target radius range, so that the processed target sampling point is within the target radius range, and the uniformly distributed excitation set of each random parameter is obtained.
Optionally, the second deriving subunit is configured to:
carrying out linear processing on the random parameters to obtain converted reference parameters;
acquiring an included angle between a target radius where a current target sampling point is located and a first coordinate axis;
obtaining a second coordinate of the target sampling point compressed along the target radius in the circle space according to the first coordinate and the included angle;
determining a reference uniform distribution excitation set corresponding to the reference parameter according to the second coordinate;
and reversely deducing the uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
Optionally, the second deriving subunit is configured to:
carrying out linear processing on the random parameters to obtain converted reference parameters;
according to the first coordinate and the target radius, obtaining a third coordinate of the target sampling point after being compressed in a circular space in an equal proportion;
determining a reference uniform distribution excitation set corresponding to the reference parameter according to the third coordinate;
and reversely deducing the uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters. Optionally, the conversion unit includes:
a ninth obtaining sub-module, configured to perform linear processing on the random parameters to obtain converted reference parameters when there are three or more correlations between the random parameters;
Tenth obtaining sub-modules, configured to set each reference parameter as a main parameter, and use other reference parameters except the reference parameter currently used as the main parameter as secondary parameters, so as to obtain a secondary parameter set;
an eleventh obtaining sub-module, configured to convert the first coordinate to obtain a fourth coordinate after conversion;
a sixth determining submodule, configured to determine a reference uniform distribution excitation set when the reference parameter is used as a main parameter and a reference uniform distribution excitation set when the reference parameter is used as a secondary parameter set according to the fourth coordinate, where excitation values of each sub-set form the reference uniform distribution excitation set when the secondary parameter set, and perform preset calculation after taking the excitation values of each reference parameter to generate excitation values of the sub-set;
and a twelfth obtaining sub-module, configured to reversely derive a uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to a linear relationship between the reference parameters and the random parameters.
Optionally, the eleventh obtaining submodule includes:
the third obtaining subunit is configured to obtain a fourth coordinate according to the first coordinate and an included angle between the radius of the target where the current target sampling point is located and the first coordinate axis; or alternatively, the process may be performed,
And a fourth obtaining subunit, configured to obtain a fourth coordinate according to the first coordinate and the target radius. Optionally, the sixth determining submodule includes:
the acquisition subunit is used for acquiring the excitation value of each reference parameter;
a calculating subunit, configured to perform preset calculation between excitation values of reference parameters belonging to the same subset;
and the setting subunit is used for taking the value obtained after the completion of the preset calculation as the excitation value of the subset.
Optionally, the preset calculation between the excitation values includes at least: one or more of summing, differencing, quotient and product.
According to yet another aspect of the embodiments of the present application, there is also provided an electronic device including a processor, a communication interface, a memory, and a communication bus, wherein the processor, the communication interface, and the memory complete communication with each other through the communication bus; wherein the memory is used for storing a computer program; a processor for performing the method steps of any of the embodiments described above by running a computer program stored on a memory.
According to a further aspect of the embodiments of the present application, there is also provided a computer-readable storage medium having stored therein a computer program, wherein the computer program is arranged to perform the method steps of any of the embodiments described above when run.
In the embodiment of the application, a plurality of random parameters of a target chip to be verified are obtained; acquiring a randomly verified excitation range corresponding to the random parameter; obtaining a target radius from parameter attributes of random parameters, and converting an excitation range into a circle space of uniform disc sampling with the circle radius as the target radius; selecting a target sampling point from the random parameters, and acquiring a first coordinate of the target sampling point in a circle space; and converting the first coordinates according to the parameter attribute of the random parameters to obtain a uniform distribution excitation set of each random parameter. According to the method, the random-parameter excitation range of the target chip is converted into the circular space with uniform disc sampling, the random-parameter excitation is guaranteed to have strong coverage property in the random range in the initial verification process, the verification coverage property is greatly improved along with the continuous increase of verification samples, and further the uniform-distribution excitation set of each random parameter is reversely deduced according to the first coordinates of the target sampling points in the circular space.
Drawings
The accompanying drawings, which are incorporated in and constitute a part of this specification, illustrate embodiments consistent with the application and together with the description, serve to explain the principles of the application.
In order to more clearly illustrate the embodiments of the present application or the technical solutions in the prior art, the drawings that are required to be used in the description of the embodiments or the prior art will be briefly described below, and it will be obvious to those skilled in the art that other drawings can be obtained from these drawings without inventive effort.
FIG. 1 is a flow diagram of an alternative chip verification method according to an embodiment of the present application;
FIG. 2a is a schematic diagram of an alternative anti-function disk uniform sampling according to an embodiment of the present application;
FIG. 2b is a schematic diagram of an alternative anti-function disk uniform sampling according to an embodiment of the present application;
FIG. 2c is a schematic diagram of an alternative anti-function disk uniform sampling according to an embodiment of the present application;
FIG. 3 is a general flow diagram of an alternative uniformly distributed random excitation implementation method according to an embodiment of the present application;
FIG. 4 is a block diagram of an alternative chip authentication device according to an embodiment of the present application;
Fig. 5 is a block diagram of an alternative electronic device according to an embodiment of the present application.
Detailed Description
In order to make the present application solution better understood by those skilled in the art, the following description will be made in detail and with reference to the accompanying drawings in the embodiments of the present application, it is apparent that the described embodiments are only some embodiments of the present application, not all embodiments. All other embodiments, which can be made by one of ordinary skill in the art based on the embodiments herein without making any inventive effort, shall fall within the scope of the present application.
It should be noted that the terms "first," "second," and the like in the description and claims of the present application and the above figures are used for distinguishing between similar objects and not necessarily for describing a particular sequential or chronological order. It is to be understood that the data so used may be interchanged where appropriate such that embodiments of the present application described herein may be implemented in sequences other than those illustrated or otherwise described herein. Furthermore, the terms "comprises," "comprising," and "having," and any variations thereof, are intended to cover a non-exclusive inclusion, such that a process, method, system, article, or apparatus that comprises a list of steps or elements is not necessarily limited to those steps or elements expressly listed but may include other steps or elements not expressly listed or inherent to such process, method, article, or apparatus.
The chip random verification method is to randomly select excitation to carry out expected maximized verification coverage on the excitation range according to the excitation constraint range of the verification object when all the excitation ranges cannot be traversed so as to find out deeper design defects. However, the random verification executed by the programming language is pseudo-random, and is influenced by the execution time of the program, the random range is limited, and meanwhile, what random stimulus needs to be selected is designed by a verification engineer, so that the work difficulty and the work load of the verification engineer are increased, and the work efficiency is reduced. In order to solve the above-mentioned problem, the embodiment of the present application proposes a chip verification method for implementing uniformly distributed excitation, which may be applied to a server side executing a program, as shown in fig. 1, and may include the following steps:
step S101, a plurality of random parameters of a target chip to be verified are acquired.
Alternatively, to ensure the integrity of the chip functionality, it is most desirable to traverse each stimulus within the random range of the chip. Therefore, the embodiment of the application acquires a plurality of random parameters of the target chip to be verified, wherein the target chip can be any chip to be verified randomly, and the random parameters can be parameters such as maximum output current, constant current source output circuit number and the like in the target chip.
Step S102, obtaining a randomly verified excitation range corresponding to the random parameter.
Alternatively, in the verification method of random verification, it is necessary to first acquire the excitation range corresponding to the verified random parameter, and then to ensure the completeness of the verification chip function so that the random excitation can cover each area of the excitation range.
Step S103, obtaining a target radius from the parameter attribute of the random parameter, and converting the excitation range into a circle space of uniform disc sampling with the circle radius as the target radius.
Alternatively, to ensure the integrity of the chip function, it is most desirable to traverse each stimulus in a random range (i.e., stimulus range), but this is rarely done when the stimulus range is large. Thus, secondly, it is desirable that the random excitation can cover each region of the excitation range as much as possible (the size of the region can be divided into different granularities according to the requirements of verification), i.e. the cumulative distribution function of the random excitation meets the requirement of uniform distribution. The excitation range corresponds to a specific verification parameter in the verification process and becomes a value range. Therefore, in order to uniformly distribute random excitation in an excitation range, the embodiment of the application determines independence or relevance among random parameters based on parameter attributes of the random parameters, converts the excitation range into a uniform disc sampling circle space with a radius being a target radius, obtains uniformly distributed sampling points by adopting a disc uniform sampling method, and then converts the sampling points into uniformly distributed random excitation.
Further, the random excitation covers the excitation range, which is equivalent to that the value range defines a circle for the random excitation, and the boundary of the circle is the boundary of the value range. Therefore, selecting uniformly distributed random excitation is equivalent to selecting uniformly distributed random points in a circle, and the way of designing the random excitation to cover the excitation range enables the final coverage to be more uniform.
Step S104, selecting a target sampling point from the random parameters, and acquiring a first coordinate of the target sampling point in the circular space.
Optionally, since the number of random parameters is large, some target sampling points are selected, for example, the number of target sampling points is 100, 500 and 1000, a disc uniform sampling method is adopted to obtain uniformly distributed sampling points, and the disc uniform sampling method which is currently used in a common way comprises a square sampling method, an inverse function method and the like, and then a first coordinate of the target sampling points in a circular space is obtained.
Step S105, converting the first coordinates according to the parameter attribute of the random parameters to obtain uniformly distributed excitation sets of the random parameters.
Optionally, according to the embodiment of the application, whether each random parameter is associated with other random parameters or each random parameter is independent can be determined based on the parameter attribute, and then the first coordinate is converted according to the association, the independence and the sampling point conversion method, so that a uniformly distributed excitation set of each random parameter is obtained.
In the embodiment of the application, a plurality of random parameters of a target chip to be verified are obtained; acquiring a randomly verified excitation range corresponding to the random parameter; obtaining a target radius from parameter attributes of random parameters, and converting an excitation range into a circle space of uniform disc sampling with the circle radius as the target radius; selecting a target sampling point from the random parameters, and acquiring a first coordinate of the target sampling point in a circle space; and converting the first coordinates according to the parameter attribute of the random parameters to obtain a uniform distribution excitation set of each random parameter. According to the method, the random-parameter excitation range of the target chip is converted into the circular space with uniform disc sampling, the random-parameter excitation is guaranteed to have strong coverage property in the random range in the initial verification process, the verification coverage property is greatly improved along with the continuous increase of verification samples, and further the uniform-distribution excitation set of each random parameter is reversely deduced according to the first coordinates of the target sampling points in the circular space.
As an alternative embodiment, selecting the target sampling point from the random parameters includes:
obtaining a random sampling generator according to the target radius and the current uniformly distributed random number;
and processing the random parameters by using a random sampling generator to obtain a plurality of target sampling points for realizing uniform sampling.
Alternatively, the disc uniform sampling method which is currently commonly used comprises a square sampling method, an inverse function method and the like. In order to more intuitively embody the excitation range in the sampling method, the embodiment of the application selects an inverse function method as an example to uniformly sample the disc.
Assuming that the target radius of the sampling circle is R, the cumulative probability distribution function is obtained as follows:
Figure SMS_1
x is [0,1]Uniformly distributed random numbers
The inverse of the cumulative probability distribution function is thus obtained as:
Figure SMS_2
thus, use
Figure SMS_3
As a random sampling generator, uniform sampling of the disk can be achieved. FIG. 2a shows
Figure SMS_4
An example of a sample distribution with a target sample number of 100 is shown in FIG. 2b>
Figure SMS_5
An example of a sample distribution with a target sample number of 500 is shown in FIG. 2c +.>
Figure SMS_6
An example of a sampling distribution with a target sampling point number of 1000.
It should be noted that, from the above, in order to obtain a plurality of target sampling points where uniform sampling is achieved, a circular space must be generated, the size of the circular space is determined by a radius, and the uniform sampling is achieved by a random sampling generator, which is generated by the radius and a random number, so that it is important to determine the radius of the circle.
In the embodiment of the application, the excitation range is converted into a sampling circle space, uniformly distributed sampling points are obtained by adopting a disc uniform sampling method, then the sampling points are converted into uniformly distributed random excitation, and the manual intervention in the verification process is reduced.
As an alternative embodiment, deriving the target radius from the parameter attribute of the random parameter, converting the excitation range into a circle space of uniform disk samples with the circle radius as the target radius, comprising:
determining the relevance or independence between random parameters according to the parameter attributes;
determining a target radius according to the relevance or the independence;
determining a conversion range corresponding to the excitation range by utilizing the target radius;
a circle space is generated based on the conversion range.
Optionally, in this embodiment of the present application, the relevance between the random parameters or the independence of the random parameters is determined according to the parameter attribute of the random parameters, then the relevance or the independence is determined, after the target radius is determined, the target radius is the conversion range corresponding to the excitation range, and finally the circle space is generated based on the conversion range (i.e., the target radius).
In the embodiment of the application, the target radius is determined according to the relevance and independence among random parameters, so that the cumulative distribution function of random excitation meets the requirement of uniform distribution.
As an alternative embodiment, determining the target radius based on the association or independence includes:
and under the condition that the parameter attribute of each random parameter is independent, determining the target radius according to the excitation range of each random parameter.
Alternatively, the size of the stimulus range that needs to be covered by random verification depends on how much of the verification parameters are. The excitation range conversion is processed differently according to the parameter attribute.
Independent random parameter processing:
the independent random parameters include two cases: firstly, there is only one random parameter; and secondly, a plurality of random parameters exist, but the random parameters are not related, the value ranges are mutually independent, and each random parameter is processed independently. Determining the radius of the target based on the excitation range of each random parameter, e.g. setting a random parameter
Figure SMS_7
The value range of (2) is +.>
Figure SMS_8
The target radius R of the converted sample circle space is set as: />
Figure SMS_9
In the embodiment of the application, the excitation range conversion is processed differently according to the difference of the random parameter attributes, so that the realization of uniformly distributed excitation is facilitated.
As an alternative embodiment, determining the target radius based on the association or independence includes:
and under the condition that the correlation exists between any two random parameters, determining the target radius according to the linear relation between the random parameters.
Alternatively, the size of the stimulus range that needs to be covered by random verification depends on how much of the verification parameters are. The excitation range conversion is processed differently according to the random parameter attribute.
Two associated random parameter processes:
in the embodiment of the application, when there is only correlation between random parameters, the relationship based on linear correlation between random parameters is similar to linear basic relationship, such as
Figure SMS_10
Wherein->
Figure SMS_11
,/>
Figure SMS_12
For the two parameters concerned, +.>
Figure SMS_13
Is constant. At this time, the following process was performed:
Figure SMS_14
at this time, the target radius R of the sampling circle space is set as:
Figure SMS_15
in the embodiment of the application, the excitation range conversion is processed differently according to the difference of the random parameter attributes, so that the realization of uniformly distributed excitation is facilitated.
As an alternative embodiment, determining the target radius based on the association or independence includes:
under the condition that there is correlation among three or more random parameters, setting each random parameter as a main parameter, and taking other random parameters except the random parameter which is currently taken as the main parameter as secondary parameters to obtain a secondary parameter set;
acquiring a linear relation between a main parameter and a secondary parameter set;
The target radius is determined based on the linear relationship.
Alternatively, the size of the stimulus range that needs to be covered by random verification depends on how much of the verification parameters are. The excitation range conversion is processed differently according to the parameter attribute.
A plurality of associated random parameter processes:
when there is a correlation between three or more random parameters, the existing processing method of multiple correlated random parameters is as follows: performing parameter combination on a plurality of associated parameters, reducing the dimension to two associated parameters for processing, and then sequentially performing combination dimension reduction on the parameter combination until only two associated parameters are obtained; and finally, combining the uniform sampling points processed each time to obtain uniform sampling points of a plurality of related parameters. This process would ideally result in uniform sampling points for all parameters, but would cause exponential expansion of the sampling combination, resulting in inoperability. Therefore, when the associated parameters are more, the method does not suggest to directly use a combined dimension reduction processing method, but needs to adopt other random excitation processing strategies when processing the combined parameters, so that excitation combined explosion is avoided.
Further, in the embodiment of the present application, the primary and secondary random parameters are divided for processing, and the specific processing procedure is as follows: setting each random parameter as a main parameter in turn, and taking other random parameters except the random parameter which is currently used as the main parameter as secondary parameters to obtain a secondary parameter set.
In doing so, it is in fact to change a plurality of associated random parameters into two associated random parameters, one of which is a primary parameter and one of which is a secondary parameter set.
Determining linear relationship between primary and secondary parameter sets, e.g.
Figure SMS_16
Wherein p is 1 Is the main parameter, (p) 21 +p 22 ) Is a secondary parameter set, and k and b are constants, so that a linear relation between the primary parameter and the secondary parameter set is generated, and thus, the target radius is obtained by referring to the two associated random parameter processing modes of the previous embodiment.
As another specific example: three related random parameters are included, wherein the main parameter is a, and the secondary parameter is b and c; a is the number of stripes configuring a certain disk space, b is the minimum unit number of the stripes of the space, c is the offset address of the first minimum unit in the space, and a linear relation is generated:
Figure SMS_17
(total space size) it is now possible to add +.>
Figure SMS_18
Consider a transformation of a parameter and a into two associated random parameters, where k and M are constants.
In the embodiment of the application, the problem that the excitation combination explosion cannot be operated due to exponential expansion of the sampling combination is avoided by adopting a combination parameter mode.
As an alternative embodiment, the converting the first coordinate according to the parameter attribute of the random parameter to obtain the uniformly distributed excitation set of each random parameter includes:
Determining the relevance or independence between random parameters according to the parameter attributes;
and converting the first coordinates according to the relevance or the independence to obtain an evenly distributed excitation set of each random parameter.
Optionally, as can be seen from the above embodiments, the relevance or independence between the random parameters can be known according to the parameter attribute, and in this embodiment of the present application, different calculation conversion processing manners are respectively provided according to the relevance or independence, and then the calculation conversion processing manners are used to convert the first coordinates respectively, so as to obtain an evenly distributed excitation set of each random parameter.
In the embodiment of the application, the conditions that the correlation exists between the random parameters or the random parameters belong to the independence are respectively processed according to the parameter attributes, so that the method has strong coverage, and the verification coverage can be greatly improved along with the continuous increase of verification samples.
As an alternative embodiment, the converting the first coordinate according to the relevance or the independence, to obtain the uniformly distributed excitation set of random parameters includes:
under the condition that the parameter attribute of each random parameter is independent, selecting a coordinate value of a target sampling point under a first coordinate axis or a coordinate value under a second coordinate axis;
And obtaining an evenly distributed excitation set by combining the coordinate values with the excitation range of the random parameters.
Optionally, the sampling point conversion also needs to be processed differently according to the different numbers of the random parameters.
Independent random parameter processing:
let the coordinates of the round uniform sampling points be
Figure SMS_19
Then->
Figure SMS_20
And->
Figure SMS_21
The value range smaller than or equal to R is satisfied, so that the x (first coordinate axis) coordinate or y (second coordinate axis) coordinate of all uniform sampling points are taken to form uniform distribution excitation of independent parameters.
In the embodiment of the application, the x coordinate value is selected as excitation, and the excitation is reversely pushed according to the excitation range conversion method of the independent parameter, so that the uniform distribution excitation of the independent parameter is obtained
Figure SMS_22
Wherein n is the number of target sampling points, a is the value range [ a, b ] of the random parameter]A of (a). Naturally if y coordinate value is used as excitation, the excitation range conversion method of the independent parameter is used for reverse pushing, and the uniform distribution excitation of the independent parameter is obtained>
Figure SMS_23
Wherein n is the number of target sampling points, and b is the value range [ a, b ] of the random parameter]B of (b).
In the embodiment of the application, the independent random parameter excitation set is obtained according to the inverse pushing of the independent random parameter excitation range conversion method, and the uniform distribution of random excitation is ensured.
As an alternative embodiment, the converting the first coordinate according to the relevance or the independence, to obtain the uniformly distributed excitation set of random parameters includes:
under the condition that the correlation exists between any two random parameters, determining whether the target sampling point falls within the target radius range of the circular space according to a first relation between the coordinate value of the target sampling point and the target radius;
determining corresponding processing operation according to a second relation between the target sampling point and the target radius range;
from the processing operation, a uniformly distributed excitation set of individual random parameters is determined.
Optionally, in the embodiment of the present application, if there is a correlation between any two random parameters, coordinate values of the target sampling point are obtained
Figure SMS_24
A comparison is made with the target radius R to determine whether the target sampling point falls within the target radius range of the circular space.
And determining subsequent processing operation based on the condition that the target sampling point falls or does not fall in the target radius range, so as to determine a uniformly distributed excitation set of each random parameter.
In the embodiment of the application, under the scene that the correlation exists between any two random parameters, the relation between the coordinate value of the target sampling point and the target radius is determined, and the situation is processed, so that a more accurate uniform distribution excitation set is obtained.
As an alternative embodiment, determining whether the target sampling point falls within the target radius range of the circular space according to the first relation between the coordinate value of the target sampling point and the target radius includes:
according to a preset principle, if the sum of the coordinate values of the first coordinate axis and the coordinate values of the second coordinate axis of the target sampling point is smaller than or equal to the target radius, determining that the target sampling point falls within the target radius range;
and according to a preset principle, if the sum of the coordinate values of the first coordinate axis and the coordinate values of the second coordinate axis of the target sampling point is larger than the target radius, determining that the target sampling point falls outside the target radius range.
In the embodiment of the application, according to the principle of triangle trilateration, when the target sampling point falls into the target radius range of the circular space,
Figure SMS_25
and->
Figure SMS_26
All satisfy the value range smaller than or equal to R, namely +.>
Figure SMS_27
When the sampling point falls near the arc of the sampling circle (i.e., outside the target radius range), it will appear
Figure SMS_28
As an alternative embodiment, determining a uniformly distributed excitation set of random parameters according to the processing operation comprises:
under the condition that the target sampling point is determined to be within the target radius range, the first coordinate is not converted any more, and the first coordinate is utilized to obtain an evenly distributed excitation set of each random parameter;
Under the condition that the target sampling point is determined to fall outside the target radius range, the target sampling point is abandoned or the first coordinate is converted, so that the processed target sampling point falls in the target radius range, and a uniformly distributed excitation set of each random parameter is obtained.
Optionally, for
Figure SMS_29
In the case of (2), there is no need to apply the first coordinate +.>
Figure SMS_30
Performing conversion; for the purpose of
Figure SMS_31
The target sampling point can be discarded, or the target sampling point can be correspondingly processed to fall into the target radius range, and then the uniformly distributed excitation set of each random parameter can be reversely deduced. As an alternative embodiment, converting the first coordinate so that the processed target sampling point falls within the target radius range to obtain an evenly distributed excitation set of random parameters, including:
carrying out linear processing on the random parameters to obtain converted reference parameters;
acquiring an included angle between a target radius where a current target sampling point is located and a first coordinate axis;
obtaining a second coordinate of the target sampling point compressed along the target radius in the circle space according to the first coordinate and the included angle;
determining a reference uniform distribution excitation set corresponding to the reference parameter according to the second coordinate;
And reversely deducing the uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
Optionally, the sampling point conversion also needs to be processed differently according to the different numbers of the random parameters.
Two associated random parameter processes:
when there is a correlation between any two random parameters, the two correlation parameters relate to conversion of a value range, and the random parameters are subjected to linear processing to obtain converted reference parameters, for example, according to a linear relation:
Figure SMS_33
wherein
Figure SMS_36
,/>
Figure SMS_39
From the original parameters->
Figure SMS_34
,/>
Figure SMS_37
Conversion to->
Figure SMS_40
,/>
Figure SMS_42
. Since the parameters before and after conversion are linear, +.>
Figure SMS_32
,/>
Figure SMS_35
After the uniformly distributed excitation of (a) a corresponding transformation according to a linear relation is performed to obtain +.>
Figure SMS_38
,/>
Figure SMS_41
Is provided.
In the pair of
Figure SMS_43
,/>
Figure SMS_44
When the sampling points are converted, the specific processing process is as follows:
(1) Compression along the radius of a circle:
the method can ensure that the included angle between the processed sampling points and the sampling circle center is unchanged, the distribution of the sampling points is in a compressed state, but the compressed sampling values correspond to boundary values
Figure SMS_45
The coverage of (c) will be reduced.
Assume that the included angle between the radius of the current target and the first coordinate axis (x coordinate axis) is
Figure SMS_46
Calculating to obtain a target sampling point along the target half in the circular space Second coordinate after radial compression +.>
Figure SMS_47
The following are provided:
Figure SMS_48
Figure SMS_49
can be obtained after conversion
Figure SMS_50
,/>
Figure SMS_51
Is +.>
Figure SMS_52
And
Figure SMS_53
where n is the number of sampling points.
And reversely deducing the uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
In the embodiment of the application, a circle radius compression method is adopted to ensure that target sampling points fall into an excitation range, and then an evenly distributed excitation set obtained under the condition that correlation exists between every two random parameters is obtained.
As an alternative embodiment, converting the first coordinate so that the processed target sampling point falls within the target radius range to obtain an evenly distributed excitation set of random parameters, including:
carrying out linear processing on the random parameters to obtain converted reference parameters;
according to the first coordinate and the target radius, obtaining a third coordinate of the target sampling point after being compressed in a circular space in an equal proportion;
determining a reference uniform distribution excitation set corresponding to the reference parameter according to the third coordinate;
and reversely deducing the uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
Alternatively, based on the above embodiment, when the target sampling point falls near the circular arc of the sampling circle, the sampling point may be processed accordingly so as to fall within the excitation range. The specific treatment process is as follows:
(2) Equal-proportion compression method
The method can ensure the boundary value after the processing of the sampling point
Figure SMS_54
The coverage of the sampling points is not reduced, but the included angle between the sampling points and the sampling circle center is changed, and the distribution form of the sampling points is changed.
Performing linear processing on the random parameters to obtain converted reference parameters
Figure SMS_55
,/>
Figure SMS_56
According to the first coordinate and the target radius, a third coordinate of the target sampling point which is compressed in the circular space in equal proportion is obtained>
Figure SMS_57
The third coordinate is calculated by an equal proportion compression method
Figure SMS_58
The following are provided:
Figure SMS_59
Figure SMS_60
can be obtained after conversion
Figure SMS_61
,/>
Figure SMS_62
Is +.>
Figure SMS_63
And
Figure SMS_64
where n is the number of sampling points.
And reversely deducing the uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
In the embodiment of the application, an equal-proportion compression method is adopted to ensure that target sampling points fall into an excitation range, and then an evenly-distributed excitation set obtained under the condition that correlation exists between every two random parameters is obtained.
As an alternative embodiment, the converting the first coordinate according to the relevance or the independence, to obtain the uniformly distributed excitation set of random parameters includes:
under the condition that there is correlation among three or more random parameters, carrying out linear processing on the random parameters to obtain converted reference parameters;
setting each reference parameter as a main parameter, and taking other reference parameters except the reference parameter which is currently used as the main parameter as secondary parameters to obtain a secondary parameter set;
converting the first coordinate to obtain a converted fourth coordinate;
determining a reference uniform distribution excitation set when the reference parameter is used as a main parameter and a reference uniform distribution excitation set when the reference parameter is used as a secondary parameter set according to the fourth coordinate, wherein the excitation values of all the sub-sets form the reference uniform distribution excitation set when the secondary parameter set, and performing preset calculation after taking the values of the excitation values of all the reference parameters to generate excitation values of the sub-sets;
and reversely deducing the uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
Optionally, a plurality of associated random parameter processes:
When there is a correlation between three or more random parameters, the conversion of a plurality of correlated random parameter sampling points is described below according to the division of primary and secondary parameters:
at two associated parameters
Figure SMS_65
,/>
Figure SMS_66
On the basis of the conversion, let->
Figure SMS_67
As main parameter, minor parameter->
Figure SMS_68
For parameter set +.>
Figure SMS_69
M is the number of parameter sets.
Converting the first coordinate according to two associated parameter sampling processing methods to obtain a converted fourth coordinate: according to the first coordinate and the included angle between the radius of the target where the current target sampling point is located and the first coordinate axis
Figure SMS_70
The fourth coordinate after the conversion of the first coordinate is obtained, or the fourth coordinate after the conversion of the first coordinate is obtained according to the first coordinate and the target radius, specifically referring to the circle radius compression method and the equal-ratio compression method in the above embodiment, which are not described herein.
According to the two associated random parameter sampling processing methods, the main parameters can be obtained
Figure SMS_71
Is +.>
Figure SMS_72
,/>
Figure SMS_73
Is +.>
Figure SMS_74
,/>
Figure SMS_75
Each excitation value in the set is the excitation value of each sub-set, and each sub-set is obtained by carrying out preset calculation after each uniformly distributed excitation value is randomly set.
And then reversely deducing the uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
In the embodiment of the application, the conversion of a plurality of associated random parameter sampling points is processed according to the division of primary and secondary parameters, so that a complex calculation mode of a uniform distribution excitation set of a plurality of associated random parameters is changed into a calculation mode of a uniform distribution excitation set of every two associated random parameters, the excitation range of a single random parameter can be covered by uniform distribution excitation, and the excitation combination explosion problem can be effectively avoided.
As an alternative embodiment, the excitation value of each reference parameter is valued and then subjected to preset calculation to generate excitation values of a subset, which includes:
obtaining excitation values of all reference parameters;
carrying out preset calculation on excitation values of reference parameters belonging to the same subset;
and taking the value obtained after the completion of the preset calculation as an excitation value of the subset.
Optionally, when the excitation values of the respective subsets are generated, the excitation values of the respective reference parameters in the sub-parameter sets are acquired (may be set randomly), then preset calculation, such as summation, may be performed between the excitation values of the reference parameters belonging to the same subset, or one or more of difference calculation, product calculation, quotient calculation, etc., and finally the preset calculated values are used as the excitation values of the respective subsets.
Embodiments of the present application
Figure SMS_76
For example, the sum of excitation values of reference parameters belonging to the same subset, i.e +.>
Figure SMS_77
. Wherein:
Figure SMS_78
,/>
Figure SMS_79
thus, the excitation set for all sub-parameters can be obtained as:
as an alternative embodiment, as shown in fig. 3, fig. 3 is an overall flowchart of an alternative method for implementing uniformly distributed random excitation according to an embodiment of the present application, including the following steps:
step 1, starting;
step 2, extracting random parameters according to the random verification requirement, and classifying according to the relevance;
step 3, obtaining an excitation range conversion method (namely independent parameter excitation range conversion, two associated parameter excitation range conversion and a plurality of associated parameter excitation range conversion in the figure) according to the parameter association;
step 4, sampling the radius R of the circle space;
step 5, setting a circle sampling angle range as according to the characteristic that the random parameter is greater than or equal to zero
Figure SMS_81
And the sampling point number n, and then uniformly sampling the sampling circle according to an inverse function method to obtain a sampling point +.>
Figure SMS_82
Step 6, according to the parameter relevance and the sampling point conversion method, sampling points are subjected to
Figure SMS_84
Performing conversion (namely independent parameter sampling point conversion, two associated parameter sampling point conversion and a plurality of associated parameter sampling point conversion in the figure);
Step 7, uniformly distributing excitation sets of random parameters;
and 8, ending.
It should be noted that, for simplicity of description, the foregoing method embodiments are all expressed as a series of action combinations, but it should be understood by those skilled in the art that the present application is not limited by the order of actions described, as some steps may be performed in other order or simultaneously in accordance with the present application. Further, those skilled in the art will also appreciate that the embodiments described in the specification are all preferred embodiments, and that the acts and modules referred to are not necessarily required in the present application.
From the description of the above embodiments, it will be clear to a person skilled in the art that the method according to the above embodiments may be implemented by means of software plus the necessary general hardware platform, but of course also by means of hardware, but in many cases the former is a preferred embodiment. Based on such understanding, the technical solution of the present application may be embodied essentially or in a part contributing to the prior art in the form of a software product stored in a storage medium (such as ROM (Read-Only Memory)/RAM (Random Access Memory), magnetic disk, optical disk), including instructions for causing a terminal device (which may be a mobile phone, a computer, a server, or a network device, etc.) to perform the method of the embodiments of the present application.
According to another aspect of the embodiments of the present application, there is also provided a chip verification apparatus for implementing the chip verification method described above. Fig. 4 is a block diagram of an alternative chip authentication device according to an embodiment of the present application, as shown in fig. 4, the device may include:
a first obtaining module 401, configured to obtain a plurality of random parameters of a target chip to be verified;
a second acquisition module 402, configured to acquire a randomly verified excitation range corresponding to the random parameter;
a first conversion module 403, configured to obtain a target radius from a parameter attribute of the random parameter, and convert the excitation range into a circle space with a circle radius being a uniform disc sample of the target radius;
a selecting module 404, configured to select a target sampling point from the random parameters, and obtain a first coordinate of the target sampling point in the circle space;
the second conversion module 405 is configured to convert the first coordinates according to the parameter attribute of the random parameters, so as to obtain an evenly distributed excitation set of each random parameter.
It should be noted that, the first obtaining module 401 in this embodiment may be used to perform the above-mentioned step S101, the second obtaining module in this embodiment may be used to perform the above-mentioned step S102, the first converting module 403 in this embodiment may be used to perform the above-mentioned step S103, the selecting module 404 in this embodiment may be used to perform the above-mentioned step S104, and the second converting module 405 in this embodiment may be used to perform the above-mentioned step S105.
According to the module, the excitation range of the random parameters of the target chip is converted into the circular space of uniform disc sampling, the uniform distribution excitation implementation method ensures that the random excitation has stronger coverage on the random range in the initial verification, and the verification coverage is greatly improved along with the continuous increase of verification samples, so that the uniform distribution excitation set of each random parameter is reversely deduced according to the first coordinates of the target sampling points in the circular space.
As an alternative embodiment, the first conversion module comprises:
a first determining unit, configured to determine a correlation or independence between random parameters according to the parameter attribute;
a second determining unit for determining a target radius according to the association or the independence;
A third determining unit, configured to determine a conversion range corresponding to the excitation range by using the target radius;
and a generation unit configured to generate a circle space based on the conversion range.
As an alternative embodiment, the second determining unit comprises:
and the first determining submodule is used for determining the target radius according to the excitation range of each random parameter under the condition that the parameter attribute of each random parameter is independent.
As an alternative embodiment, the second determining unit comprises:
and the second determining submodule is used for determining the target radius according to the linear relation between random parameters under the condition that the correlation exists between any two random parameters.
As an alternative embodiment, the second determining unit comprises:
the first obtaining submodule is used for setting each random parameter as a main parameter and taking other random parameters except the random parameter which is currently used as the main parameter as secondary parameters under the condition that there is correlation among three or more random parameters, so as to obtain a secondary parameter set;
the first acquisition sub-module acquires a linear relation between the main parameter and the secondary parameter set;
and a third determination submodule for determining the target radius according to the linear relation.
As an alternative embodiment, the selecting module includes:
the obtaining unit is used for obtaining a random sampling generator according to the target radius and the current uniformly distributed random number;
and the acquisition unit is used for processing the random parameters by using the random sampling generator and acquiring a plurality of target sampling points for realizing uniform sampling.
As an alternative embodiment, the second conversion module comprises:
a fourth determining unit, configured to determine association or independence between random parameters according to the parameter attribute;
and the conversion unit is used for converting the first coordinates according to the relevance or the independence to obtain an evenly distributed excitation set of each random parameter.
As an alternative embodiment, the conversion unit comprises:
the selecting sub-module is used for selecting coordinate values of the target sampling point under the first coordinate axis or coordinate values of the target sampling point under the second coordinate axis under the condition that the parameter attribute of each random parameter is independent;
and the second obtaining submodule is used for obtaining an evenly distributed excitation set by combining the coordinate values with the excitation range of the random parameters.
As an alternative embodiment, the conversion unit comprises:
a fourth determining submodule, configured to determine, according to a first relationship between coordinate values of the target sampling point and the target radius, if the target sampling point falls within a target radius range of the circular space, in a case where there is a correlation between any two random parameters;
A fifth determining submodule, configured to determine a corresponding processing operation according to a second relation between the target sampling point and the target radius range;
a sixth determination submodule is configured to determine a set of evenly distributed stimuli for each random parameter based on the processing operation.
As an alternative embodiment, the fourth determination submodule includes:
the first determining subunit is configured to determine, according to a preset rule, that the target sampling point falls within a target radius range if a sum of coordinate values of the first coordinate axis and coordinate values of the second coordinate axis of the target sampling point is less than or equal to the target radius;
and the second determining subunit is used for determining that the target sampling point falls outside the target radius range according to a preset principle if the sum of the coordinate values of the first coordinate axis and the coordinate values of the second coordinate axis of the target sampling point is larger than the target radius.
As an alternative embodiment, the sixth determining submodule includes:
the first obtaining subunit is used for not converting the first coordinate under the condition that the target sampling point is determined to be in the target radius range, and obtaining an evenly distributed excitation set of each random parameter by utilizing the first coordinate;
and the second obtaining subunit is used for discarding the target sampling point or converting the first coordinate under the condition that the target sampling point is determined to be outside the target radius range, so that the processed target sampling point is within the target radius range, and the uniformly distributed excitation set of each random parameter is obtained.
As an alternative embodiment, the second deriving subunit is configured to:
carrying out linear processing on the random parameters to obtain converted reference parameters;
acquiring an included angle between a target radius where a current target sampling point is located and a first coordinate axis;
obtaining a second coordinate of the target sampling point compressed along the target radius in the circle space according to the first coordinate and the included angle;
determining a reference uniform distribution excitation set corresponding to the reference parameter according to the second coordinate;
and reversely deducing the uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
As an alternative embodiment, the second deriving subunit is configured to:
carrying out linear processing on the random parameters to obtain converted reference parameters;
according to the first coordinate and the target radius, obtaining a third coordinate of the target sampling point after being compressed in a circular space in an equal proportion;
determining a reference uniform distribution excitation set corresponding to the reference parameter according to the third coordinate;
and reversely deducing the uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
As an alternative embodiment, the conversion unit comprises:
A ninth obtaining sub-module, configured to perform linear processing on the random parameters to obtain converted reference parameters when there are three or more correlations between the random parameters;
a tenth obtaining sub-module, configured to convert the first coordinate to obtain a fourth coordinate after conversion;
a sixth determining submodule, configured to determine a reference uniform distribution excitation set when the reference parameter is used as a main parameter and a reference uniform distribution excitation set when the reference parameter is used as a secondary parameter set according to the fourth coordinate, where excitation values of each sub-set form the reference uniform distribution excitation set when the secondary parameter set, and perform preset calculation after taking the excitation values of each reference parameter to generate excitation values of the sub-set;
and a twelfth obtaining sub-module, configured to reversely derive a uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to a linear relationship between the reference parameters and the random parameters.
As an alternative embodiment, the eleventh obtaining submodule includes:
the third obtaining subunit is configured to obtain a fourth coordinate according to the first coordinate and an included angle between the radius of the target where the current target sampling point is located and the first coordinate axis; or alternatively, the process may be performed,
And a fourth obtaining subunit, configured to obtain a fourth coordinate according to the first coordinate and the target radius.
As an alternative embodiment, the sixth determining submodule includes:
the acquisition subunit is used for acquiring the excitation value of each reference parameter;
a calculating subunit, configured to perform preset calculation between excitation values of reference parameters belonging to the same subset;
and the setting subunit is used for taking the value obtained after the completion of the preset calculation as the excitation value of the subset.
Optionally, the preset calculation between the excitation values includes at least: one or more of summing, differencing, quotient and product.
According to still another aspect of the embodiments of the present application, there is further provided an electronic device for implementing the above chip verification method, where the electronic device may be a server, a terminal, or a combination thereof.
Fig. 5 is a block diagram of an alternative electronic device, according to an embodiment of the present application, including a processor 501, a communication interface 502, a memory 503, and a communication bus 504, as shown in fig. 5, wherein the processor 501, the communication interface 502, and the memory 503 communicate with each other via the communication bus 504, wherein,
a memory 503 for storing a computer program;
The processor 501, when executing the computer program stored on the memory 503, performs the following steps:
acquiring a plurality of random parameters of a target chip to be verified;
acquiring a randomly verified excitation range corresponding to the random parameter;
obtaining a target radius from parameter attributes of random parameters, and converting an excitation range into a circle space of uniform disc sampling with the circle radius as the target radius;
selecting a target sampling point from the random parameters, and acquiring a first coordinate of the target sampling point in a circle space;
and converting the first coordinates according to the parameter attribute of the random parameters to obtain a uniform distribution excitation set of each random parameter.
Alternatively, in the present embodiment, the above-described communication bus may be a PCI (Peripheral Component Interconnect, peripheral component interconnect standard) bus, or an EISA (Extended Industry Standard Architecture ) bus, or the like. The communication bus may be classified as an address bus, a data bus, a control bus, or the like. For ease of illustration, only one thick line is shown in fig. 5, but not only one bus or one type of bus.
The communication interface is used for communication between the electronic device and other devices.
The memory may include RAM or may include non-volatile memory (non-volatile memory), such as at least one disk memory. Optionally, the memory may also be at least one memory device located remotely from the aforementioned processor.
As an example, as shown in fig. 5, the memory 503 may include, but is not limited to, the first obtaining module 401, the second obtaining module 402, the first converting module 403, the selecting module 404, and the second converting module 405 in the chip verification device. In addition, other module units in the above-mentioned chip verification device may be included, but are not limited thereto, and are not described in detail in this example.
The processor may be a general purpose processor and may include, but is not limited to: CPU (Central Processing Unit ), NP (Network Processor, network processor), etc.; but also DSP (Digital Signal Processing, digital signal processor), ASIC (Application Specific Integrated Circuit ), FPGA (Field-Programmable Gate Array, field programmable gate array) or other programmable logic device, discrete gate or transistor logic device, discrete hardware components.
In addition, the electronic device further includes: and the display is used for displaying the chip verification result.
Alternatively, specific examples in this embodiment may refer to examples described in the foregoing embodiments, and this embodiment is not described herein.
It will be understood by those skilled in the art that the structure shown in fig. 5 is only schematic, and the device implementing the chip verification method may be a terminal device, and the terminal device may be a smart phone (such as an Android mobile phone, an iOS mobile phone, etc.), a tablet computer, a palm computer, a mobile internet device (Mobile Internet Devices, MID), a PAD, etc. Fig. 5 is not limited to the structure of the electronic device described above. For example, the terminal device may also include more or fewer components (e.g., network interfaces, display devices, etc.) than shown in fig. 5, or have a different configuration than shown in fig. 5.
Those of ordinary skill in the art will appreciate that all or part of the steps in the various methods of the above embodiments may be implemented by a program for instructing a terminal device to execute in association with hardware, the program may be stored in a computer readable storage medium, and the storage medium may include: flash disk, ROM, RAM, magnetic or optical disk, etc.
According to yet another aspect of embodiments of the present application, there is also provided a storage medium. Alternatively, in the present embodiment, the above-described storage medium may be used for program code for executing the chip authentication method.
Alternatively, in this embodiment, the storage medium may be located on at least one network device of the plurality of network devices in the network shown in the above embodiment.
Alternatively, in the present embodiment, the storage medium is configured to store program code for performing the steps of:
acquiring a plurality of random parameters of a target chip to be verified;
acquiring a randomly verified excitation range corresponding to the random parameter;
obtaining a target radius from parameter attributes of random parameters, and converting an excitation range into a circle space of uniform disc sampling with the circle radius as the target radius;
selecting a target sampling point from the random parameters, and acquiring a first coordinate of the target sampling point in a circle space;
and converting the first coordinates according to the parameter attribute of the random parameters to obtain a uniform distribution excitation set of each random parameter.
Alternatively, specific examples in the present embodiment may refer to examples described in the above embodiments, which are not described in detail in the present embodiment.
Alternatively, in the present embodiment, the storage medium may include, but is not limited to: various media capable of storing program codes, such as a U disk, ROM, RAM, a mobile hard disk, a magnetic disk or an optical disk.
According to yet another aspect of embodiments of the present application, there is also provided a computer program product or computer program comprising computer instructions stored in a computer readable storage medium; the processor of the computer device reads the computer instructions from the computer-readable storage medium, and the processor executes the computer instructions to cause the computer device to perform the chip authentication method steps of any of the embodiments described above.
The foregoing embodiment numbers of the present application are merely for describing, and do not represent advantages or disadvantages of the embodiments.
The integrated units in the above embodiments may be stored in the above-described computer-readable storage medium if implemented in the form of software functional units and sold or used as separate products. Based on such understanding, the technical solution of the present application may be embodied essentially or in part or all or part of the technical solution that contributes to the prior art, or in the form of a software product, which is stored in a storage medium, comprising several instructions for causing one or more computer devices (which may be personal computers, servers or network devices, etc.) to perform all or part of the steps of the chip authentication method of the various embodiments of the present application.
In the foregoing embodiments of the present application, the descriptions of the embodiments are emphasized, and for a portion of this disclosure that is not described in detail in this embodiment, reference is made to the related descriptions of other embodiments.
In several embodiments provided in the present application, it should be understood that the disclosed client may be implemented in other manners. The above-described embodiments of the apparatus are merely exemplary, and are merely a logical functional division, and there may be other manners of dividing the apparatus in actual implementation, for example, multiple units or components may be combined or integrated into another system, or some features may be omitted, or not performed. Alternatively, the coupling or direct coupling or communication connection shown or discussed with each other may be through some interfaces, units or modules, or may be in electrical or other forms.
The units described as separate units may or may not be physically separate, and units shown as units may or may not be physical units, may be located in one place, or may be distributed over a plurality of network units. Some or all of the units may be selected according to actual needs to achieve the purpose of the solution provided in the present embodiment.
In addition, each functional unit in each embodiment of the present application may be integrated in one processing unit, or each unit may exist alone physically, or two or more units may be integrated in one unit. The integrated units may be implemented in hardware or in software functional units.
The foregoing is merely a preferred embodiment of the present application and it should be noted that modifications and adaptations to those skilled in the art may be made without departing from the principles of the present application and are intended to be comprehended within the scope of the present application.

Claims (20)

1. A chip verification method for achieving uniformly distributed excitation, the method comprising:
acquiring a plurality of random parameters of a target chip to be verified;
acquiring a randomly verified excitation range corresponding to the random parameter;
obtaining a target radius from the parameter attribute of the random parameter, and converting the excitation range into a circular space with a circular radius which is equal to the uniform circular disk sampling of the target radius;
selecting a target sampling point from the random parameters, and acquiring a first coordinate of the target sampling point in the circular space;
And converting the first coordinates according to the parameter attribute of the random parameters to obtain uniformly distributed excitation sets of the random parameters.
2. The method of claim 1, wherein the deriving a target radius from the parameter attribute of the random parameter, converting the excitation range into a circle space with a circle radius that is a uniform disk sample of the target radius, comprises:
determining the relevance or independence between the random parameters according to the parameter attributes;
determining the target radius according to the relevance or the independence;
determining a conversion range corresponding to the excitation range by utilizing the target radius;
the circle space is generated based on the conversion range.
3. The method of claim 2, wherein the determining the target radius from the association or the independence comprises:
and under the condition that the parameter attribute of each random parameter is independent, determining the target radius according to the excitation range of each random parameter.
4. The method of claim 2, wherein the determining the target radius from the association or the independence comprises:
And under the condition that the correlation exists between any two random parameters, determining the target radius according to the linear relation between the random parameters.
5. The method of claim 2, wherein the determining the target radius from the association or the independence comprises:
under the condition that more than three random parameters have relevance, setting each random parameter as a main parameter, and taking other random parameters except the random parameter which is currently taken as the main parameter as secondary parameters to obtain a secondary parameter set;
acquiring a linear relation between the main parameter and the secondary parameter set;
and determining the target radius according to the linear relation.
6. The method according to any one of claims 1 to 5, wherein said selecting a target sampling point from said random parameters comprises:
obtaining a random sampling generator according to the target radius and the current uniformly distributed random number;
and processing the random parameters by using the random sampling generator to obtain a plurality of target sampling points which realize uniform sampling.
7. The method of claim 1, wherein said converting said first coordinates according to said parameter attributes of said random parameters results in a uniformly distributed excitation set of each of said random parameters, comprising:
Determining the relevance or independence between the random parameters according to the parameter attributes;
and converting the first coordinates according to the relevance or the independence to obtain the uniformly distributed excitation set of each random parameter.
8. The method of claim 7, wherein said transforming said first coordinates according to said correlation or said independence results in said uniformly distributed excitation sets of each of said random parameters, comprising:
under the condition that the parameter attribute of each random parameter is independent, selecting a coordinate value of the target sampling point under a first coordinate axis or a coordinate value of the target sampling point under a second coordinate axis;
and combining the coordinate values with the excitation range of the random parameter to obtain the uniformly distributed excitation set.
9. The method of claim 7, wherein said transforming said first coordinates according to said correlation or said independence results in said uniformly distributed excitation sets of each of said random parameters, comprising:
under the condition that the correlation exists between any two random parameters, determining whether the target sampling point falls within a target radius range of a circular space according to a first relation between the coordinate value of the target sampling point and the target radius;
Determining corresponding processing operation according to a second relation between the target sampling point and the target radius range;
the set of evenly distributed stimuli for each of the random parameters is determined in accordance with the processing operation.
10. The method of claim 9, wherein determining whether the target sampling point falls within a target radius range of a circular space according to a first relationship between coordinate values of the target sampling point and the target radius comprises:
according to a preset principle, if the sum of the coordinate values of the first coordinate axis and the coordinate values of the second coordinate axis of the target sampling point is smaller than or equal to the target radius, determining that the target sampling point is within the target radius range;
and according to a preset principle, if the sum of the coordinate values of the first coordinate axis and the coordinate values of the second coordinate axis of the target sampling point is larger than the target radius, determining that the target sampling point is out of the target radius range.
11. The method of claim 10, wherein said determining said uniformly distributed excitation set of each of said random parameters in accordance with said processing operation comprises:
under the condition that the target sampling point is determined to be in the target radius range, the first coordinates are not converted any more, and the uniformly distributed excitation sets of the random parameters are obtained by utilizing the first coordinates;
And under the condition that the target sampling point is determined to be outside the target radius range, discarding the target sampling point or converting the first coordinate, so that the processed target sampling point is within the target radius range, and obtaining the uniformly distributed excitation set of each random parameter.
12. The method of claim 11, wherein said converting said first coordinate such that said processed target sample points fall within said target radius results in a uniformly distributed excitation set of each of said random parameters, comprising:
performing linear processing on the random parameters to obtain converted reference parameters;
acquiring an included angle between a target radius where a current target sampling point is located and a first coordinate axis;
obtaining a second coordinate of the target sampling point compressed along the target radius in the circular space according to the first coordinate and the included angle;
determining a reference uniform distribution excitation set corresponding to the reference parameter according to the second coordinate;
and reversely deducing a uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
13. The method of claim 11, wherein said converting said first coordinate such that said processed target sample points fall within said target radius results in a uniformly distributed excitation set of each of said random parameters, comprising:
performing linear processing on the random parameters to obtain converted reference parameters;
according to the first coordinate and the target radius, obtaining a third coordinate of the target sampling point after being compressed in the circular space in equal proportion;
determining a reference uniform distribution excitation set corresponding to the reference parameter according to the third coordinate;
and reversely deducing a uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
14. The method of claim 7, wherein said transforming said first coordinates according to said correlation or said independence results in said uniformly distributed excitation sets of each of said random parameters, comprising:
under the condition that more than three random parameters have relevance, carrying out linear processing on the random parameters to obtain converted reference parameters;
Setting each reference parameter as a main parameter, and taking other reference parameters except the reference parameter which is currently used as the main parameter as secondary parameters to obtain a secondary parameter set;
converting the first coordinate to obtain a converted fourth coordinate;
determining a reference uniform distribution excitation set when the reference parameter is used as the main parameter and a reference uniform distribution excitation set when the reference parameter is used as the secondary parameter according to the fourth coordinate, wherein the reference uniform distribution excitation set when the secondary parameter is composed of excitation values of all the subsets, and performing preset calculation after the excitation values of all the reference parameters are valued to generate the excitation values of the subsets;
and reversely deducing a uniformly distributed excitation set of the random parameters from the reference uniformly distributed excitation set according to the linear relation between the reference parameters and the random parameters.
15. The method of claim 14, wherein converting the first coordinate to obtain a converted fourth coordinate comprises:
obtaining the fourth coordinate according to the first coordinate and the included angle between the radius of the target where the current target sampling point is located and the first coordinate axis; or alternatively, the process may be performed,
And obtaining the fourth coordinate according to the first coordinate and the target radius.
16. The method of claim 14, wherein generating excitation values for the subset from the excitation values for each reference parameter by performing a predetermined calculation, comprising:
obtaining excitation values of the reference parameters;
carrying out the preset calculation between the excitation values of the reference parameters belonging to the same subset;
and taking the value obtained after the preset calculation is completed as the excitation value of the subset.
17. The method according to claim 16, wherein the pre-set calculation between the excitation values comprises at least: one or more of summing, differencing, quotient and product.
18. A chip authentication apparatus for achieving uniformly distributed excitation, the apparatus comprising:
the first acquisition module is used for acquiring a plurality of random parameters of a target chip to be verified;
the second acquisition module is used for acquiring a random verification excitation range corresponding to the random parameter;
the first conversion module is used for obtaining a target radius from the parameter attribute of the random parameter, and converting the excitation range into a circle space with a circle radius being equal to the uniform circle sampling of the target radius;
The selecting module is used for selecting a target sampling point from the random parameters and acquiring a first coordinate of the target sampling point in the circular space;
and the second conversion module is used for converting the first coordinates according to the parameter attribute of the random parameters to obtain uniformly distributed excitation sets of the random parameters.
19. An electronic device comprising a processor, a communication interface, a memory and a communication bus, wherein the processor, the communication interface and the memory communicate with each other via the communication bus, characterized in that,
the memory is used for storing a computer program;
the processor for performing the chip authentication method steps of any one of claims 1 to 17 by running the computer program stored on the memory.
20. A computer-readable storage medium, characterized in that a computer program is stored in the storage medium, wherein the computer program, when executed by a processor, implements the chip authentication method steps of any one of claims 1 to 17.
CN202310452142.0A 2023-04-25 2023-04-25 Chip verification method and device, electronic equipment and storage medium Active CN116167333B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202310452142.0A CN116167333B (en) 2023-04-25 2023-04-25 Chip verification method and device, electronic equipment and storage medium

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202310452142.0A CN116167333B (en) 2023-04-25 2023-04-25 Chip verification method and device, electronic equipment and storage medium

Publications (2)

Publication Number Publication Date
CN116167333A CN116167333A (en) 2023-05-26
CN116167333B true CN116167333B (en) 2023-07-14

Family

ID=86413544

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202310452142.0A Active CN116167333B (en) 2023-04-25 2023-04-25 Chip verification method and device, electronic equipment and storage medium

Country Status (1)

Country Link
CN (1) CN116167333B (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117454823B (en) * 2023-12-22 2024-04-19 深圳鲲云信息科技有限公司 Chip verification multiport excitation control method, agent, device and medium

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109992461B (en) * 2017-12-29 2020-03-10 中科寒武纪科技股份有限公司 Template library construction method of excitation generation device, chip verification method and system
CN109992804B (en) * 2017-12-29 2020-01-14 中科寒武纪科技股份有限公司 Excitation generating device, chip verification device and system
CN111402424A (en) * 2019-01-02 2020-07-10 珠海格力电器股份有限公司 Augmented reality display method and device of chip structure and readable storage medium
CN112818632B (en) * 2021-01-28 2024-02-02 上海华力微电子有限公司 Analysis method and device for pattern density of chip and electronic equipment
CN113705140A (en) * 2021-07-19 2021-11-26 深圳市紫光同创电子有限公司 Chip verification method, system, device and storage medium
CN115811489A (en) * 2022-11-16 2023-03-17 中科计算技术西部研究院 Exchange chip verification system and method based on UVM and storage medium
CN115952758B (en) * 2023-03-10 2023-05-23 成都登临科技有限公司 Chip verification method and device, electronic equipment and storage medium

Also Published As

Publication number Publication date
CN116167333A (en) 2023-05-26

Similar Documents

Publication Publication Date Title
CN116167333B (en) Chip verification method and device, electronic equipment and storage medium
CN106681903B (en) Method and device for generating test case
US11275568B2 (en) Generating a synchronous digital circuit from a source code construct defining a function call
CN107797004B (en) Digital verification system and method for spacecraft electrical performance test case
CN106708468B (en) Division operation device
CN110458875B (en) Abnormal point pair detection method, image splicing method, corresponding device and equipment
CN111708931B (en) Big data acquisition method based on mobile internet and artificial intelligence cloud service platform
CN113133039B (en) Performance test method and device of gateway system
CN111130828B (en) Intelligent network distribution method and device and terminal equipment
CN113449481A (en) Method and device for automatically generating top-level circuit diagram of embedded FPGA IP core and storage medium
US20180101294A1 (en) Information generating system, information generating device, information generating method, and information generating program
CN115797267A (en) Image quality evaluation method, system, electronic device, and storage medium
CN110580172B (en) Configuration rule verification method and device, storage medium and electronic device
CN110971923B (en) Bullet screen connection method, storage medium, system and client
CN113377652A (en) Test data generation method and device
CN112131065A (en) Method, device and system for verifying DAC (digital-to-analog converter) interface
CN113110982A (en) Data access layer verification method and device, storage medium and electronic device
CN111240733A (en) Data acquisition method and device based on multiple third-party interfaces
CN112988339A (en) Data management method and device
CN111030844B (en) Method and device for establishing flow processing framework
CN112985781B (en) Lens test data processing method, device, equipment and storage medium
CN110674373B (en) Big data processing method, device, equipment and storage medium based on sensitive data
EP3216167B1 (en) Orchestrator and method for virtual network embedding using offline feedback
CN112149128B (en) Vulnerability processing method, device, electronic device and medium of custom process
CN117278156A (en) Channel simulation method and device, storage medium and electronic equipment

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