Primjena višeparadigmatičnih jezika u modeliranju računalnog sklopovlja

disertacija

• Naslov (engleski): Application of Multiparadigm Programming in Hardware Modelling
• Autor: Danko Basch
• Mentor: Mario Žagar (mentor)
• Član povjerenstva: Leo Budin (član povjerenstva)
• Član povjerenstva: Mario Žagar (član povjerenstva)
• Član povjerenstva: Željko Hocenski (član povjerenstva)
• Član povjerenstva: Vedran Mornar (član povjerenstva)
• Član povjerenstva: Mario Kovač (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; (Zavod za automatiku i računalno inženjerstvo); Zagreb
• Datum i država obrane: 2000-03-27, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo; Procesno računarstvo
• Univerzalna decimalna klasifikacija (UDC): 004 - Računalna znanost i tehnologija. Računalstvo. Obrada podataka

Sažetak

Ova disertacija prikazuje rezultate oblikovanja višeparadigmatičnog jezika namijenjenog modeliranju računalnog sklopovlja.
Na početku su uvedni najosnovniji pojmovi iz područja modeliranja i simuliranja, s naglaskom na modeliranju i simuliranju računalnog sklopovlja. Dat je pregled programskih paradigmi i osnovnih značajki svake od njih. Opisana su svojstva jezika za modeliranje sklopovlja i istaknute njihove posebnosti u odnosu na opće programske jezike. Prikazani su najvažniji jezici za modeliranje sklopovlja koji su u praktičnoj upotrebi, kao i oni koji se koriste neimperativnim paradigmama. Procijenjene su moguće koristi od postojanja višeparadigmatičnosti u jezicima za opisivanje sklopovlja.
Objašnjene su značajke koje bi programski jezici morali zadovoljavati i opća načela njihovog oblikovanja. Navedne su i obrazložene glavne smjernice i odluke donesene u vezi sa svojstvima i mogućnostima novog jezika koji se predlaže u ovoj disertaciji.
Opisani su osnovni koncepti novog jezika nazvanog TL. On je oblikovan tako da uključuje svojstva imperativne, objektne i funkcijske paradigme, a također i dodatna svojstva potrebna za modeliranje računalnog sklopovlja. Sve najvažnije značajke jezika detaljno su objašnjene. Inače zasebni i neovisni pojmovi iz programskih jezika su poopćeni i ujedinjeni u pojam TL-objekta, kako bi se izbjeglo gomilanje jezičnih konstrukata iz različitih paradigmi. Brojni uobičajeni jezični konstrukti reinterpretirani su sa stajališta TL-objekta.
Upotrebom TL-a izraženi su primjeri modela računalnog sklopovlja koji su uspoređeni s istovrijednim modelima u postoječim jezicima iste namjene.
Kritički su razmotrena svojstva, prednosti i nedostatci novog jezika i predložene smjernice za daljnje istraživanje.

Sažetak (engleski)

This thesis presents the results of multiparadigm hardware description language design.
At the beginning, the basics terms from the area of modelling and simulation are introduced, with emphasis on hardware modelling and simulation. The survey of the programming paradigms is given together with their main characteristics. Hardware description languages (HDL) and their features are described. The differences between HDLs and general purpose programming languages are stressed. The main HDLs in practical use are described. HDLs based on nonimperative paradigms are also described. Possible benefits of a multiparadigm approach in hardware modelling are estimated.
The most important characteristics of programming languages, and the basic principles of programming language design are given. The main decisions concerning the features and possibilities of the new language are made.
Ideas and concepts of the new language (named TL) are described. TL is multiparadigm language that incorporates imperative, object oriented, and functional paradigms. It also comprises all the necessary abilities for hardware description. The main language features of TL are presented in details. Notions that are usually separate in another programming languages are abstracted and unified into a single notion of TL-object. In that way the problem of accumulation of notions from different paradigms is avoided. Various conventional features are reinterpreted from the aspect of TL-objects.
Several hardware descriptions are made by using TL. These models are compared with the adequate models written in the existing HDLs.
The features, advantages, and disadvantages of TL are critically analysed and the possible directions for further improvements and research are given.

• Ključne riječi: Programski jezici; programske paradigme; višeparadigmatično programiranje; oblikovanje programskih jezika; jezici za opisivanje računalnog sklopovlja
• Ključne riječi (engleski): Programming languages; programming paradigms; multiparadigm programming; programming language design; hardware description languages
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:683671
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: poslijediplomski znanstveni (doktorski); Akademski / stručni naziv: Doktor znanosti (dr. sc.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2019-04-02 09:38:17