Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT.
Nikolaos Ioannis DeligiannisTobias FallerRiccardo CantoroTobias PaxianBernd BeckerMatteo Sonza ReordaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)