|
|
Simulace architektury mikroprocesoru 8051
Šimon, Petr ; Křoustek, Jakub (oponent) ; Hruška, Tomáš (vedoucí práce)
V dnešní době je více jak 90% procesorů používáno ve vestavěných systémech. Návrh procesorů pro vestavěná zařízení se stává čím dál složitější, a proto je nutné tuto práci co nejvíce automatizovat. Tato bakalářská práce se věnuje návrhu mikrokontroléru 8051. Návrh je proveden podle dostupné dokumentace a k popisu procesoru je použit jazyk ISAC. Výsledný model je ověřen řadou simulací, které jsou na konci práce analyzovány.
|
|
|
Implementace obecného assembleru
Husár, Adam ; Masařík, Karel (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá návrhem obecného assembleru, který je součástí projektu Lissom. Naleznete zde popis architektur assemblerů, jejich obvyklých úkolů a zvláštní pozornost je pak věnována assembleru GNU as. Navržený assembler se skládá z pevné a generované části. Generovaná část je automaticky vytvářena na základě popisu instrukční sady, která je definována pomocí jazyka pro popis architektury a instrukční sady ISAC. Využitím tohoto přístupu je umožněno automaticky změnit cílovou architekturu, pro kterou assembler překládá. Další část práce pak popisuje implementaci knihovny Parserlib2, která je využívána generátorem assembleru a i dalšími součástmi projektu Lissom a poskytuje informace o cílové instrukční sadě.
|
|
|
Dynamické perturbace trojhvězd a planetárních systémů detekovatelných na gravitačních vlnách projektem LISA
Mezera, Matěj ; Pejcha, Ondřej (vedoucí práce) ; Švarc, Robert (oponent)
Práce studuje gravitační vlny, které vyzařuje stabilní binární systém perturbovaný vzdáleným třetím tělesem. Jsou představeny tři reprezentativní modely této hierarchické soustavy, jejichž gravitační signál je numericky modelován. Pohyb těles je simulován new- tonovsky na dlouhých časových škálách, kde se projevují Lidovovy-Kozaiovy oscilace, což jsou periodické změny relativní inklinace a excentricity vnitřního dvojtělesového systému. Ve frekvenčním spektru vyzařovaných gravitačních vln je poté identifikován vliv pertu- rbací na periodě podobné oběžné periodě binárního systému Tin, perturbace související s oběžnou periodou třetího tělesa Tout a Lidovovy-Kozaiovy cykly s přibližnou periodou T2 out/Tin. Předpokládá se, že tyto gravitační signály bude schopen zaznamenat budoucí vesmírný detektor LISA (Laser Interferometer Space Antenna) a na jejich základě pak bude možné odvodit informace o třítělesovém systému. 1
|
|
|
Dynamické perturbace trojhvězd a planetárních systémů detekovatelných na gravitačních vlnách projektem LISA
Mezera, Matěj ; Pejcha, Ondřej (vedoucí práce) ; Švarc, Robert (oponent)
Práce studuje gravitační vlny, které vyzařuje stabilní binární systém perturbovaný vzdáleným třetím tělesem. Jsou představeny tři reprezentativní modely této hierarchické soustavy, jejichž gravitační signál je numericky modelován. Pohyb těles je simulován new- tonovsky na dlouhých časových škálách, kde se projevují Lidovovy-Kozaiovy oscilace, což jsou periodické změny relativní inklinace a excentricity vnitřního dvojtělesového systému. Ve frekvenčním spektru vyzařovaných gravitačních vln je poté identifikován vliv pertu- rbací na periodě podobné oběžné periodě binárního systému Tin, perturbace související s oběžnou periodou třetího tělesa Tout a Lidovovy-Kozaiovy cykly s přibližnou periodou T2 out/Tin. Předpokládá se, že tyto gravitační signály bude schopen zaznamenat budoucí vesmírný detektor LISA (Laser Interferometer Space Antenna) a na jejich základě pak bude možné odvodit informace o třítělesovém systému. 1
|
|
|
Implementace obecného assembleru
Husár, Adam ; Masařík, Karel (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá návrhem obecného assembleru, který je součástí projektu Lissom. Naleznete zde popis architektur assemblerů, jejich obvyklých úkolů a zvláštní pozornost je pak věnována assembleru GNU as. Navržený assembler se skládá z pevné a generované části. Generovaná část je automaticky vytvářena na základě popisu instrukční sady, která je definována pomocí jazyka pro popis architektury a instrukční sady ISAC. Využitím tohoto přístupu je umožněno automaticky změnit cílovou architekturu, pro kterou assembler překládá. Další část práce pak popisuje implementaci knihovny Parserlib2, která je využívána generátorem assembleru a i dalšími součástmi projektu Lissom a poskytuje informace o cílové instrukční sadě.
|
|
|
Generátor manuálu instrukční sady
Křen, Michal ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato bakalářská práce se zabývá vytvořením generátoru manuálu instrukční sady, který je součástí projektu Lissom. Model mikroprocesoru je popsán v jazyce ISAC pro popis architektury mikroprocesoru i instrukční sady, kde si vývojář k jednotlivým deklaracím doplní speciálně formátované komentáře. Na základě těchto údajů jsou do manuálu vybrány pouze patřičné informace a nalezeny vztahy mezi nimi. Pro generování instrukcí je využit mezijazyk pro generátor překladače jazyka C. Výsledný dokument manuálu je uložen ve formátu RTF a obsahuje dvě části. V první je uveden přehled všech zdrojů procesoru a ve druhé je seznam všech instrukcí.
|
|
|
Simulace architektury mikroprocesoru 8051
Šimon, Petr ; Křoustek, Jakub (oponent) ; Hruška, Tomáš (vedoucí práce)
V dnešní době je více jak 90% procesorů používáno ve vestavěných systémech. Návrh procesorů pro vestavěná zařízení se stává čím dál složitější, a proto je nutné tuto práci co nejvíce automatizovat. Tato bakalářská práce se věnuje návrhu mikrokontroléru 8051. Návrh je proveden podle dostupné dokumentace a k popisu procesoru je použit jazyk ISAC. Výsledný model je ověřen řadou simulací, které jsou na konci práce analyzovány.
|
host ::
RSS.