Modular hardware design remains an important yet elusive goal. A key challenge is that hardware designs are fundamentally tied to their physical constraints which encourages a monolithic integration style. This paper presents a new type system that enables fine-grained reasoning about the timing behavior of hardware modules at compile-time. We demonstrate how the type system can be extended to reason about parameterized hardware designs and the benefits it provides.