Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2004

    1. How to Formalize FPGA Hardware Design
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. How to Formalize FPGA Hardware Design. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 04/2004.
      Podrobněji: https://is.muni.cz/publication/559201/cs
    2. Verification Process of Hardware Design in Liberouter Project
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. Verification Process of Hardware Design in Liberouter Project. Praha: CESNET z.s.p.o., 2004. CESNET Technical Report No. 05/2004.
      Podrobněji: https://is.muni.cz/publication/561408/cs
    3. Verification Results in Liberouter Project
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. Verification Results in Liberouter Project. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 03/2004.
      Podrobněji: https://is.muni.cz/publication/558042/cs

    2003

    1. Verification of COMBO6 VHDL Design
      KRATOCHVÍLA, Tomáš, Vojtěch ŘEHÁK a Pavel ŠIMEČEK. Verification of COMBO6 VHDL Design. Praha: CESNET, z.s.p.o., 2003. CESNET Technical Report No. 17/2003.
      Podrobněji: https://is.muni.cz/publication/490367/cs
Zobrazit podrobně
Zobrazeno: 23. 5. 2024 22:13