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

doctoral thesis

• Title (english): Application of Multiparadigm Programming in Hardware Modelling
• Author: Danko Basch
• Mentor: Mario Žagar (mentor)
• Committee member: Leo Budin (član povjerenstva)
• Committee member: Mario Žagar (član povjerenstva)
• Committee member: Željko Hocenski (član povjerenstva)
• Committee member: Vedran Mornar (član povjerenstva)
• Committee member: Mario Kovač (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; (Department of Control and Computer Engineering); Zagreb
• Defense date and country: 2000-03-27, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing; Process Computing
• Universal decimal classification (UDC): 004 - Computer science and technology. Computing. Data processing

Abstract

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.

Abstract (english)

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.

• Keywords: Programski jezici; programske paradigme; višeparadigmatično programiranje; oblikovanje programskih jezika; jezici za opisivanje računalnog sklopovlja
• Keywords (english): Programming languages; programming paradigms; multiparadigm programming; programming language design; hardware description languages
• Language: croatian
• URN:NBN: urn:nbn:hr:168:683671
• Study programme: Title: Computer Science; Study programme type: university; Study level: postgraduate; Academic / professional title: Doktor znanosti (Doktor znanosti)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2019-04-02 09:38:17