Correct and Compositional Hardware Generators. - Rachit Nigam; Ethan Gabizon; Edmund Lam; Adrian Sampson (CoRR, 2024)