Functional Verification of Low Power Designs at RTL. - Allan Crone; Gabriel Chidolue (PATMOS, 2007)