Article,

Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT.

, , , , , and .
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (11): 4270-4281 (November 2023)

Meta data

Tags

Users

  • @dblp

Comments and Reviews