Energy-efficient instruction set synthesis for application-specific processors | IEEE Conference Publication | IEEE Xplore