Scalable Hardware Verification with Symbolic Simulation