Bluespec System Verilog: efficient, correct RTL from high level specifications.

Rishiyur S. Nikhil

Browse the full MEMOCODE paper archive.