Scalable Hardware Verification With Symbolic Simulation by Valeria Bertacco