Patent ID: 7383168
Filing Date: 2008-06-03
Classification: G01R

Abstract:
1. A method for element testing comprising: identifying a first module having at least one associated state, the first module implemented using a verification language; generating a second module based on the first module, the second module implemented using a test language, the test language being a programming language associated with a test element, wherein generating the second module comprises compiling the verification language of the first module into the test language of the second module; controlling the test element based on the second module and the at least one state associated with the first module; applying the test element to a design-under-test; storing data flow information in a transaction database, the data flow information determined while applying the test element to the design-under-test; storing data items in a data database, the data items read and modified by transactions associated with the data flow information; and determining at least one result based on the application of the test element to the design-under-test.