Every milliwatt of power matters, regardless of the application. Designers can no longer wait for the final netlist to get accurate power numbers, as full visibility is needed as soon as RTL coding starts, when the most rewarding modifications can be made. At smaller technology nodes, dynamic power is becoming increasingly more dominant and the reduction of overall activity has become a necessity. As designs become vastly larger, designers need a tool that pinpoints the major power gluttons while suggesting modifications with the highest ROI. Use of many voltage domains and switchable power domains is required to maintain a competitive edge as power is becoming a clear differentiator. Complexity of power partitioning with imbricated power domains and humongous power state tables requires the use of cutting-edge structural and formal verification solutions.