Katarina Jelemenska

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 7

Top Topics

Provably Correct

Power Management

Top Venues

Publications

Michal Skuta, Dominik Macko, Katarina Jelemenska
Automation of Dynamic Power Management in FPGA-Based Energy-Constrained Systems. IEEE Access 8 (2020)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Simplifying low-power SoC top-down design using the system-level abstraction and the increased automation. Integr. 63 (2018)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Verification of Power-Management Specification at Early Stages of Power-Constrained Systems Design. J. Circuits Syst. Comput. 26 (8) (2017)
Miroslav Siro, Dominik Macko, Katarina Jelemenska
PMS2UPF: An automated transition from ESL to RTL power-intent specification. DDECS (2017)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Early-stage verification of power-management specification in low-power systems design. DDECS (2016)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Power-Management Specification in SystemC. DDECS (2015)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Power-management high-level synthesis. VLSI-SoC (2015)
Dominik Macko, Katarina Jelemenska
Self-managing power management unit. DDECS (2014)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Power-efficient power-management logic. PATMOS (2014)
Dominik Macko, Katarina Jelemenska
VHDLVisualizer: HDL model visualization with simulation-based verification. DDECS (2012)
Dominik Macko, Katarina Jelemenska
VHDL structural model visualization. EUROCON (2011)