Integrating Functional and Temporal Domains in Logic Design