3. The computer-implemented method of claim 2 wherein generating the simulation and the formal model based on the driver further comprises: generating one of a model for formal.
3. The computer-implemented method of claim 2 wherein generating the simulation and the formal model based on the driver further comprises: generating one of a model for formal. 4. The computer-implemented method of claim 3 , further comprising generating an assertion for formal.