2. The computer-implemented method of claim 1 further comprising: applying, via the processor, a simulation and a formal model based on the driver; and testing, via the processor, an output of the simulation and the formal model.
2. The computer-implemented method of claim 1 further comprising: applying, via the processor, a simulation and a formal model based on the driver; and testing, via the processor, an output of the simulation and the formal model. 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.