Patrick C. McGeer

• Integrating Functional and Temporal Domains in Logic Design
• Integrating functional and temporal domains in logic design