Title: Integrating Functional and Temporal Domains in Logic Design
Subjects: Computer engineering, Computer-aided design, Computer science