A methodology for guided behavioral-level optimization | IEEE Conference Publication | IEEE Xplore