Αποστολή με SMS: Scalable Hardware Verification with Symbolic Simulation