Verification methodology manual for low power by Srikanth Jadcherla