Correct and Compositional Hardware Generators

Rachit Nigam,Ethan Gabizon,Edmund Lam,Adrian Sampson
2024-01-05
Abstract:Hardware generators help designers explore families of concrete designs and their efficiency trade-offs. Both parameterized hardware description languages (HDLs) and higher-level programming models, however, can obstruct composability. Different concrete designs in a family can have dramatically different timing behavior, and high-level hardware generators rarely expose a consistent HDL-level interface. Composition, therefore, is typically only feasible at the level of individual instances: the user generates concrete designs and then composes them, sacrificing the ability to parameterize the combined design.
Programming Languages,Hardware Architecture
What problem does this paper attempt to address?