Modular Hardware Design with Timeline Types

Rachit Nigam, Pedro Henrique Azevedo De Amorim, Adrian Sampson

Modular design is a key challenge for enabling large-scale reuse of hardware modules. Unlike software, however, hardware designs correspond to physical circuits and inherit constra…