Beyond UPF & CPF: Low-power design and verification. - Barry M. Pangrle; John Biggs; Cristophe Clavel; Olivier Domerego; Knut M. Just (DATE, 2011)