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 19:33 | Nová verze

    Společnost Valve aktualizovala přehled o hardwarovém a softwarovém vybavení uživatelů služby Steam. Podíl uživatelů Linuxu dosáhl 3,2 %. Nejčastěji používané linuxové distribuce jsou Arch Linux, Linux Mint a Ubuntu. Při výběru jenom Linuxu vede SteamOS Holo s 26,42 %. Procesor AMD používá 66,72 % hráčů na Linuxu.

    Ladislav Hagara | Komentářů: 0
    dnes 15:22 | IT novinky

    Canonical oznámil (YouTube), že nově nabízí svou podporu Ubuntu Pro také pro instance Ubuntu na WSL (Windows Subsystem for Linux).

    Ladislav Hagara | Komentářů: 0
    dnes 13:11 | IT novinky

    Samsung představil svůj nejnovější chytrý telefon Galaxy Z TriFold (YouTube). Skládačka se nerozkládá jednou, ale hned dvakrát, a nabízí displej s úhlopříčkou 10 palců. V České republice nebude tento model dostupný.

    Ladislav Hagara | Komentářů: 1
    dnes 12:33 | Nová verze

    Armbian, tj. linuxová distribuce založená na Debianu a Ubuntu optimalizovaná pro jednodeskové počítače na platformě ARM a RISC-V, ke stažení ale také pro Intel a AMD, byl vydán ve verzi 25.11.1. Přehled novinek v Changelogu.

    Ladislav Hagara | Komentářů: 0
    dnes 04:00 | Nová verze

    Byla vydána nová verze 15.0 svobodného unixového operačního systému FreeBSD. Podrobný přehled novinek v poznámkách k vydání.

    Ladislav Hagara | Komentářů: 5
    dnes 03:00 | Nová verze

    UBports, nadace a komunita kolem Ubuntu pro telefony a tablety Ubuntu Touch, vydala Ubuntu Touch 24.04 1.1 a 20.04 OTA-11. Vedle oprav chyb a drobných vylepšení je řešen také středně závažný bezpečnostní problém.

    Ladislav Hagara | Komentářů: 0
    dnes 00:33 | IT novinky Ladislav Hagara | Komentářů: 0
    včera 16:00 | Komunita

    Fedora zve na dvoudenní testování (2. a 3. prosince), během kterého si můžete vyzkoušet nové webové uživatelské rozhraní (WebUI) projektu FreeIPA. Pomozte vychytat veškeré chyby a vylepšit uživatelskou zkušenost ještě předtím, než se tato verze dostane k uživatelům Fedory a celého linuxového ekosystému.

    Ladislav Hagara | Komentářů: 4
    včera 13:22 | IT novinky

    Eben Upton oznámil zdražení počítačů Raspberry Pi, kvůli růstu cen pamětí, a představil 1GB verzi Raspberry Pi 5 za 45 dolarů.

    Ladislav Hagara | Komentářů: 0
    včera 04:44 | Humor

    Linus Torvalds na YouTube kanálu Linus Tech Tips staví dokonalý linuxový počítač.

    Ladislav Hagara | Komentářů: 6
    Jaké řešení používáte k vývoji / práci?
     (34%)
     (47%)
     (19%)
     (18%)
     (23%)
     (16%)
     (24%)
     (16%)
     (18%)
    Celkem 423 hlasů
     Komentářů: 18, poslední dnes 18:34
    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.