Wire sorts: a language abstraction for safe hardware composition.

Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf

Browse the full PLDI paper archive.