Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor.
Nikolaos Ioannis DeligiannisRiccardo CantoroTobias FallerTobias PaxianBernd BeckerMatteo Sonza ReordaPublished in: ATS (2021)