How to Formalize FPGA Hardware Design

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Kterak formalizovat hardwarový design FPGA čipů
Autoři

HOLEČEK Jan KRATOCHVÍLA Tomáš ŘEHÁK Vojtěch ŠAFRÁNEK David ŠIMEČEK Pavel

Rok publikování 2004
Druh Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis V této zprávě nahlížíme z formálního hlediska na HW design pro FPGA čipy a modelujeme ho jako Kripkeho strukturu. Dále je zde zpracován problém společného modelování synchronních a asynchronních částí designu.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.