Dramatic increases in verification performance are made possible by storing system behavior from simulation for reuse in subsequent simulations featuring changes to the system model. Verification ...