Email Record: Integrating Functional and Temporal Domains in Logic Design :