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

State of the art verification methodologies in 2015. - Allan Crone; Oliver Bringmann 001; C. Chevallaz; B. Dickman; Volkan Esen; Michael Rohleder (DATE, 2011)