abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
    dnes 05:33 | IT novinky

    Samsung představil headset Galaxy XR se 4K Micro-OLED displeji, procesorem Snapdragon XR2+ Gen 2, 16 GB RAM, 256 GB úložištěm, operačním systémem Android XR a Gemini AI.

    Ladislav Hagara | Komentářů: 0
    dnes 05:22 | Nová verze

    Před konferencí Next.js Conf 2025 bylo oznámeno vydání nové verze 16 open source frameworku Next.js (Wikipedie) pro psaní webových aplikací v Reactu. Přehled novinek v příspěvku na blogu.

    Ladislav Hagara | Komentářů: 0
    včera 23:33 | Komunita

    Sovereign Tech Fund oznámil finanční podporu následujících open source projektů: Scala, SDCC, Let's Encrypt, Servo, chatmail, Drupal, Fedify, openprinting, PHP, Apache Arrow, OpenSSL, R Project, Open Web Docs, conda, systemd a phpseclib.

    Ladislav Hagara | Komentářů: 0
    včera 13:11 | Nová verze

    Bylo vydáno OpenBSD 7.8. S předběžnou podporou Raspberry Pi 5. Opět bez písničky.

    Ladislav Hagara | Komentářů: 0
    včera 05:44 | Nová verze Ladislav Hagara | Komentářů: 2
    včera 05:22 | Bezpečnostní upozornění

    Byly publikovány informace o kritické zranitelnosti v knihovně pro Rust async-tar a jejích forcích tokio-tar, krata-tokio-tar a astral-tokio-tar. Jedná se o zranitelnost CVE-2025-62518 s CVSS 8.1. Nálezci je pojmenovali TARmageddon.

    Ladislav Hagara | Komentářů: 3
    21.10. 23:15 | Nová verze

    AlmaLinux přinese s verzí 10.1 podporu btrfs. XFS bude stále jako výchozí filesystém, ale instalátor nabídne i btrfs. Více informací naleznete v oficiálním oznámení.

    Max | Komentářů: 2
    21.10. 22:33 | IT novinky

    Společnost OpenAI představila svůj vlastní webový prohlížeč ChatGPT Atlas. Zatím je k dispozici pouze na macOS.

    Ladislav Hagara | Komentářů: 0
    21.10. 14:33 | Nová verze

    Desktopové prostředí KDE Plasma bylo vydáno ve verzi 6.5 (Mastodon). Přehled novinek i s videi a se snímky obrazovek v oficiálním oznámení. Podrobný přehled v seznamu změn.

    Ladislav Hagara | Komentářů: 3
    21.10. 13:55 | IT novinky

    Rodina jednodeskových počítačů Orange Pi se rozrostla (𝕏) o Orange Pi 6 Plus.

    Ladislav Hagara | Komentářů: 10
    Jaké řešení používáte k vývoji / práci?
     (36%)
     (48%)
     (20%)
     (20%)
     (22%)
     (18%)
     (21%)
     (18%)
     (18%)
    Celkem 256 hlasů
     Komentářů: 14, poslední 14.10. 09:04
    Rozcestník
    Štítky: není přiřazen žádný štítek


    Vložit další komentář
    11.12.2014 02:42 pc2005 | skóre: 38 | blog: GardenOfEdenConfiguration | liberec
    Rozbalit Rozbalit vše Re: Programovatelná logika VII: Jazyky pro popis log. obvodů
    functional coverage
    Tomu se říká "funkční pokrytí", ne?
    11.12.2014 07:25 hw | skóre: 23 | blog: Digital Design
    Rozbalit Rozbalit vše Re: Programovatelná logika VII: Jazyky pro popis log. obvodů

    Je to možné. Osobně jsem to ale nikdy neslyšel a takovýhle doslovný překlad se mi úplně nezdál. Možná bych tu mohl pro ostatní zmínit význam dvou pojmů používaných ve verifikaci:

    • Code Coverage je ukazatel, který vyjadřuje jaké procento HDL kódu bylo během simulace/verifikace použito. Měří pouze, zda byl daný příkaz vykonán.
    • Functional Coverage je mnohem sofistikovanější ukazatel spadající do oblasti formální verifikace. Ten vyjadřuje nakolik verifikace pokryla požadavky funkční specifikace. Tento ukazatel tedy nejde generovat automaticky, ale verifikační inženýr musí definovat požadavky na funkční pokrytí v jednotlivých kontrolních bodech a za pomoci generování omezených náhodných vektorů se pak řídí proces simulace tak, aby bylo dosaženo požadovaného funkčního pokrytí.

    Když o tom tak přemýšlím, tak pokrytí kódu a funkční pokrytí nejsou zas až tak špatné výrazy. Díky.

    11.11.2015 14:20 Jarkol
    Rozbalit Rozbalit vše Re: Programovatelná logika VII: Jazyky pro popis log. obvodů
    Těch českých výrazů "pokrytí kódu" a "funkční pokrytí" bych se vůbec nebál, podle mne to odpovídá jak jejich smyslu, tak i duchu českého jazyka. A pro "assertions" bych navrhoval používat českého překladu "tvrzení".
    12.12.2014 07:32 TM
    Rozbalit Rozbalit vše Re: Programovatelná logika VII: Jazyky pro popis log. obvodů
    Proč to nevychází jako články?
    Má to co říci a je jedno, že to nesouvisí s Linuxem(úplně by stačilo nějaké závěrečné shrnutí vývojových prostředí na Linuxu provozovatelných).
    Na abclinuxu.cz v poslední době nevychází skoro nic, nechápu, proč nevyužít takto dobrého autora.

    Založit nové vláknoNahoru

    Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

    ISSN 1214-1267   www.czech-server.cz
    © 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.