Computer aided design techniques for low power sequential logic circuits - Devadas, S Monteiro, Jose (BOSTON KLUWER, 1997)