A methodology and tool for automated transformational high-level design space exploration | IEEE Conference Publication | IEEE Xplore