Bp 96 cz
Skočit na navigaci
Skočit na vyhledávání
Aplikace pro převod časovaných automatů do FPGA
Autor: Jan Breuer
Cílem této bakalářské práce je vytvořit převodník jedné reprezentace časovaného automatu na jinou. Předloha časovaného automatu je vytvořena a otestována v nástroji UPPAAL. Výstup tohoto programu je načítán a konvertován do jiného jazyka, který je vhodný pro další práci a následné naprogramováné do FPGA. Za výsledný jazyk byl zvolen jazyk MATLABu. V MATLABu se pomocí Xilinx System Generatoru vytváří kód pro výslednou platformu FPGA.