ACED: A Hardware Library for Generating DSP Systems
Bluespec System Verilog: efficient, correct RTL from high level specifications