@dblp

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)

Links and resources

Tags