On the effectiveness of a system of RT-level transformations for design-space exploration | IEEE Conference Publication | IEEE Xplore