Introduction to Bluespec: A new methodology for designing Hardware Arvind
Bluespec: The need for a new design methodology Arvind