Text this: Integrating Functional and Temporal Domains in Logic Design :