Formal methods and deterministic simulation testing make different tradeoffs in the verification space.