Higher-Order Abstraction in Hardware Descriptions with C?aSH.

Marco Gerards, Christiaan Baaij, Jan Kuper, Matthijs Kooijman

Browse the full DSD paper archive.