Scalable Hardware Verification With Symbolic Simulation door Valeria Bertacco