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

摘要

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.

主权项

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.