Informace o publikaci
How to Formalize FPGA Hardware Design
| Název česky | Kterak formalizovat hardwarový design FPGA čipů |
|---|---|
| Autoři | |
| Rok publikování | 2004 |
| Druh | Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.) |
| Fakulta / Pracoviště MU | |
| 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: |