DSP specification using the Silage language | IEEE Conference Publication | IEEE Xplore