Text this: Principles of functional verification/