Formal datapath representation and manipulation for implementing DSP transforms | IEEE Conference Publication | IEEE Xplore