Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk.

Arvind

Browse the full MEMOCODE paper archive.