FoCs - Automatic Generation of Simulation Checkers from Formal Specifications.

For the foreseeable future, industrial hardware design will continue to use both simulation and model checking in the design verification process. To date, these techniques are applied in isolation using different tools and methodologies, and different formulations of the problem. This results in cumulative high cost and little (if any) cross-leverage of the individual advantages of simulation and formal verification. [ABSTRACT FROM AUTHOR]