Text this: Path delay test generation at functional level.