A declarative framework for developing parametrised hardware libraries | IEEE Conference Publication | IEEE Xplore