Search results

  1. Odhad spotreby hardvéru z modelu systémovej úrovne
    Liďák Michal ; I100  Macko Dominik (Thesis advisor) ; I100
    Bratislava : STU v Bratislave FIIT, 2014
    FIIT ; Date of acceptation : 12.06.2014 ; Degree program : 662 . - 64 s príl.
    počítačové a komunikačné systémy a siete Computer and Communication Systems and Networks power consumption SystemC SystemC spotreba energie SystemC SystemC systémová úroveň digitálny systém
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=101028
    diplomová práca
    Faculty Available Inaccesible Issued For Request Only
    FIIT1000
    book

    book

  2. Extensible Framework for Graphical Representation of HDL Models and Simulation Results
    Jelemenská Katarína ; I100  Hyben Martin ; I100 Jančiga Tomáš ; I100 Kardoš Martin ; I100 Maron Ľubomír ; I100 Süll Zsolt ; I100
    Africon 2013 [elektronický zdroj] : . online, s. 860-864
    digitálny systém verifikácia modelu Verilog SystemC
    článok zo zborníka
    AFC - Reports at international scientific conferences
    article

    article

  3. Simulácia špecifikácie digitálneho systému v jazyku HSSL
    Sidor Samuel ; I100  Jelemenská Katarína (Thesis advisor) ; I100
    Bratislava : STU v Bratislave FIIT, 2013 . - 69 s príl.
    Computer and Communication Systems and Networks simulation simulácia digitálny systém počítačové a komunikačné systémy a siete
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=92014
    diplomová práca
    Faculty Available Inaccesible Issued For Request Only
    FIIT0100
    book

    book

  4. Power-Intent Integration into the Digital System Specification Model
    Macko Dominik ; I100  Jelemenská Katarína ; I100
    Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (Median 2013) : . s.49-51
    digitálny systém model špecifikácia systémová úroveň
    článok zo zborníka
    AFC - Reports at international scientific conferences
    article

    article

  5. HDL Model Verification Based on Visualization and Simulation
    Macko Dominik ; 070400  Jelemenská Katarína ; 070400
    WCE 2012 World Congress on Engineering 4-6 July, 2012 Imperial College London, London, U.K, Vol. II . s.1095-1100
    digitálny systém návrh hardvéru verifikácia modelu
    článok zo zborníka
    AFC - Reports at international scientific conferences
    article

    article

  6. VHDL Visualizer: HDL Model Visualization with Simulation-Based Verification
    Macko Dominik ; 070400  Jelemenská Katarína ; 070400
    DDECS 2012 : . s. 199-200
    návrh hardvéru digitálny systém simulácia verifikácia VHDL vizualizácia
    článok zo zborníka
    AFC - Reports at international scientific conferences
    (1) - článok
    Faculty Available Inaccesible Issued For Request Only
    FIIT0100
    article

    article

  7. Functional Verification of the Digital System Design
    Macko Dominik ; I100 
    Počítačové architektury a diagnostika 2012 : . s.61-66
    digitálny systém formálne metódy návrh simulácia verifikácia
    článok zo zborníka
    AFC - Reports at international scientific conferences
    article

    article

  8. Testovanie, diagnostika a verifikácia digitálnych systémov
    Gramatová Elena ; 070400  Jelemenská Katarína ; 070400 Novák Ondřej (rec.) Kotásek Zdeněk (rec.)
    Bratislava : Nakladateľstvo STU, 2012 . - 276 s.
    ISBN 978-80-227-3797-5
    digitálny systém návrh test poruchy verifikácia
    skriptá
    ACB - Academic school-books issued in home editorship
    Faculty Available Inaccesible Issued For Request Only
    FIIT2110
    Testovanie, diagnostika a verifikácia digitálnych systémov

    book

  9. eTool for teaching and application of digital system testability techniques
    Baláž Marcel  Gramatová Elena ; I100 Fischerová Mária Pikula Tomáš
    EUROCON 2005. International conference on Computer as a Tool : . s.831-834
    digitálny systém testovateľnosť výučba
    článok zo zborníka
    AFC - Reports at international scientific conferences
    (1) - zborník (príspevkov)
    (1) - xjcp
    article

    article