Email Record: Scalable hardware verification with symbolic simulation /