Sluiten Help Print
 Cursus: 192130250
 192130250Embedded Computer Architectures 2
 Cursus informatie Rooster
Cursus192130250
Studiepunten (ECTS)5
CursustypeCursus
VoertaalEngels
Contactpersoondr.ir. A.B.J. Kokkeler
E-maila.b.j.kokkeler@utwente.nl
Docenten
 Docent H.H. Folmer Docent dr.ir. M.E.T. Gerards Contactpersoon van de cursus dr.ir. A.B.J. Kokkeler Docent dr.ir. A.B.J. Kokkeler
Collegejaar2020
Aanvangsblok
 1B
AanmeldingsprocedureZelf aanmelden via OSIRIS Student
Inschrijven via OSIRISJa
 Cursusdoelen
 body { font-size: 9pt; font-family: Arial } table { font-size: 9pt; font-family: Arial } The student after completing the course will be able to: • derive recurrent relations from mathematical expressions; • design a data dependency graph based on the recurrent relations; • transform the data dependency graph into a signal flow graph using projection and scheduling; • describe mathematical expressions that specify data dependencies and operations in a graph by means of a functional programming (FP) language; • synthesize hardware circuits using the FP descriptions. • describe the results of the project assignment in a report.
 Inhoud
 body { font-size: 9pt; font-family: Arial } table { font-size: 9pt; font-family: Arial } Tasks to be executed by digital hardware become more and more complex. For that reason, it is desirable to have a structured design process to come from task (algorithm) to hardware. Besides that, powerful concepts to express the algorithms in a formal way are required. This course aims at providing in-depth knowledge of the relation between an algorithm and the possible architectures that execute the algorithm. We will discuss methods to transform a sequentially expressed algorithm via single assignment code and a dependency graph into a signal flow graph. From there on various hardware implementations will be developed in the form of array processors or systolic arrays. In case of an irregular dependency graph, the hardware will take the form of a simple von Neumann architecture with a dedicated instruction set.  Topics included are: • Linear (static) scheduling • Pipelining • Re-timing and design transformations.   A second aim of the course is to specify the resulting hardware alternatives in a formal way, by means of mathematical equations. Using the evaluation mechanisms of a functional programming language, these equations can be directly evaluated leading to a simulation of the hardware. Besides, these specifications open the possibility to prove that the functionality of the various hardware alternatives is the same.  Theory concerning the structured design process and the specification of hardware in a formal way will be discussed during lectures. The students gain hands-on experience in a project assignment where an algorithm is described in a formal way and synthesized towards hardware.
 Participating study
 Master Computer Science
 Participating study
 Master Embedded Systems
 Participating study
 Master Electrical Engineering
 Participating study
 Master Internet Science and Technology
Verplicht materiaal
Course material
 Material will be made available via CANVAS.
Aanbevolen materiaal
-
Werkvormen
 Hoorcollege Project onbegeleid
Toetsen
 Schriftelijk tentamen en ProjectOpmerkingWritten Exam 60 points (33 points required to pass the course), Project 40 points (22 points required to pass the course
 Sluiten Help Print