PowerProbe: Run-time power modeling through automatic RTL instrumentation | IEEE Conference Publication | IEEE Xplore