Generation of a random sub-space of the space of assignments for a set of generative attributes for verification coverage closure

Patent metadata

Field	Value
Publication number	US-9582458-B2
Application number	US-201213718093-A
Country	US
Kind code	B2
Filing date	Dec 18, 2012
Priority date	Dec 18, 2012
Publication date	Feb 28, 2017
Grant date	Feb 28, 2017

Abstract

System, method and computer readable medium are described. The method may include obtaining user defined distribution traits characterizing a random sub-space of a space of assignments for a set of generative variables. The method may further include applying the user defined distribution traits on the space of assignments for a set of generative variables to generate the random sub-space of the space of assignments for a set of generative variables. The method may also include testing a device under test using the generated random sub-space of the space of assignments for a set of generative variables.

First claim

We claim:

1. A method, comprising:
obtaining via an input device user defined distribution traits characterizing a random sub-space of a space of assignments for a set of generative variables;
using a processor, applying the user defined distribution traits on the space of assignments for a set of generative variables and generating the random sub-space of the space of assignments for a set of generative variables; and
testing using a testbench, a device under test using the generated random sub-space of the space of assignments for a set of generative variables.

2. The method of claim 1 , wherein the user defined distribution traits comprise general user defined distribution traits and specific user defined distribution traits.

3. The method of claim 2 , wherein the general user defined distribution traits comprise design parameters, constraints associated with these design parameters and relations.

4. The method of claim 2 , wherein the specific user defined distribution traits comprise constraints and sub-groups of parameters for exhaustive execution.

5. The method of claim 4 , further comprising obtaining the specific user defined distribution traits for a regression.

6. The method of claim 1 , wherein the steps of obtaining the user defined distribution traits and applying the user defined distribution traits on the space of assignments for a set of generative variables to generate the random sub-space of the space of assignments for a set of generative variables are performed as pre-test steps.

7. The method of claim 1 , performed integrated in the testbench.

8. A system, comprising:
an input device to obtain user defined distribution traits characterizing a random sub-space of a space of assignments for a set of generative variables;
a processor to apply the user defined distribution traits on the space of assignments for a set of generative variables and to generate the random sub-space of the space of assignments for a set of generative variables;
a testbench to test a device under test using the generated random sub-space of the space of assignments for a set of generative variables.

9. The system of claim 8 , wherein the user defined distribution traits comprise general user defined distribution traits and specific user defined distribution traits.

10. The system of claim 9 , wherein the general user defined distribution traits comprise design parameters, constraints associated with these design parameters and relations.

11. The system of claim 9 , wherein the specific user defined distribution traits comprise constraints and sub-groups of parameters for exhaustive execution.

12. The system of claim 11 , wherein the generator is further configured to obtain the specific user defined distribution traits for a regression.

13. A non-transitory computer readable medium having instructions stored thereon, which when executed by a processor cause the processor to perform the method of:
obtaining via an input device user defined distribution traits characterizing a random sub-space of a space of assignments for a set of generative variables;
applying the user defined distribution traits on the space of assignments for a set of generative variables and generating the random sub-space of the space of assignments for a set of generative variables; and
testing using a testbench a device under test using the generated random sub-space of the space of assignments for a set of generative variables.

14. The non-transitory computer readable medium of claim 13 , wherein the user defined distribution traits comprise general user defined distribution traits and specific user defined distribution traits.

15. The non-transitory computer readable medium of claim 14 , wherein the general user defined distribution traits comprise design parameters, constraints associated with these design parameters and relations.

16. The non-transitory computer readable medium of claim 14 , wherein the specific user defined distribution traits comprise constraints and sub-groups of parameters for exhaustive execution.

17. The non-transitory computer readable medium of claim 16 , comprising further instructions that when executed by the processor cause the processor to obtain the specific user defined distribution traits for a regression.

18. The non-transitory computer readable medium of claim 13 , wherein the user defined distribution traits comprise one or more sets of attributes for exhaustive testing.

19. The non-transitory computer readable medium of claim 13 , wherein the user defined distribution traits comprise one or more sets of attributes for non-exhaustive testing.

20. The non-transitory computer readable medium of claim 13 , wherein the user defined distribution traits comprise a repetition rule.

Assignees

• Cadence Design Systems Inc

Inventors

• Gavish Efrat
• Kinderman Yael
• Nitzan Meirav O

Classifications

• G01R31/318314

  Tools, e.g. program interfaces, test suite, test bench, simulation hardware, test compiler, test program languages (simulation software G01R31/318357; emulators G06F11/261) · CPC title

• G06F30/398 Primary

  Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM] (optical proximity correction [OPC] design processes G03F1/36) · CPC title

• G06F11/3684

  for test design, e.g. generating new test cases · CPC title

• G06F30/33

  Design verification, e.g. functional simulation or model checking · CPC title

• G06F15/00 Primary

  Digital computers in general (details G06F1/00 – G06F13/00); Data processing equipment in general · CPC title