Text this: Scalable hardware verification with symbolic simulation/