HotSpot : Visualizing dynamic power consumption in RTL designs | IEEE Conference Publication | IEEE Xplore