SystemC extension for power specification,simulation and verification Author(s): Mikhail Moiseev, Ilya Klotchkov, Maxim Petrov, and Kirill Gagarski Download