Back-annotation of gate-level power properties into system level descriptions | IEEE Conference Publication | IEEE Xplore