Text this: Verification Techniques for System-Level Design /