“Shift left” Hierarchical Low-Power Static Verification Using SAM