SystemC extension for power specification,simulation and verification

Author(s):
Mikhail Moiseev, Ilya Klotchkov, Maxim Petrov, and Kirill Gagarski