Design Methodologies and CAD Tools for Leakage Power Optimization in FPGAs