Text this: Principles of functional verification /