Pošalji SMS: Unified methods for VLSI simulation and test generation /