Text this: A unified approach for timing verification and delay faut testing