Scalable Hardware Verification with Symbolic Simulation by Valeria Bertacco | Menrva Books | MenrvaBooks