The essence of Bluespec: a core language for rule-based hardware design.

Thomas Bourgeat, Clment Pit-Claudel, Adam Chlipala, Arvind

Browse the full PLDI paper archive.