... Anantha Chandrakasan ISBN 978-0 -38 7-25 737 -2, 2005 Statistical Analysis and Optimization for VLSI: Timing and Power Ashish Srivastava, Dennis Sylvester, and David Blaauw ISBN 978-0 -38 7-26049-9, ... Refinement for Large Scale Model Checking Chao Wang, Gary D. Hachtel, and Fabio Somenzi ISBN 978-0 -38 7-28594-2, 2006 A Practical Introduction to PSL Cindy Eisner and Dana Fisman ISBN 978-0 -38 7 -35 3 13- 5, ... (DIBL), 17, 50 Dynamic voltage scaling (DVS), 26, 50, 95, 1 23, 126, 176 Error correction coding, 106, 277 Error detection, 182 Frequency island, 207–208 Frequency optimization, 33 Globally...