Generating parametrised hardware libraries from higher-order descriptions - Pell,O; Luk,W (IEEE COMPUTER SOC, 2006)