High-quality ISA synthesis for low-power cache designs in embedded microprocessors | IBM Journals & Magazine | IEEE Xplore