SMoSi: A framework for the derivation of sleep mode traces from RTL simulations | IEEE Conference Publication | IEEE Xplore