Low-Power Design and Power-Aware Verification | EKB DL