A Declarative Framework for Developing Parametrised Hardware Libraries - McKeever, S; Luk, W (IEEE, 2001)