Thesis Details
Testing of generated C compilers for processors in embedded systems
The embedded systems have become essential for our everyday lives. They are usually highly specialized and optimized single purpose devices. The cores of this devices are usually composed of one or more application specific instruction-set processors. This dissertation thesis is focused on testing of tools for design of application specific instruction set processors (ASIP) and ASIPs itself. The aim is to create a system, that allows testing of the tools such as compiler, assembler, disassembler or debugger. Nevertheless, there is also need for more complex tests, for example integration tests, that ensure there is no incompatibility between the tools. Author created with support of continuous integration server an environment, that helps to reveal and fix errors during the design of the application specific processors and moreover this environment is automatized up to certain point.
Testing, compilers, continuous integration,hardware/software codesign, application-specific instruction set processors, architecture description languages, embedded systems.
@phdthesis{FITPT602,
author = "Lud\v{e}k Dol\'{i}hal",
type = "Ph.D. thesis",
title = "Testing of generated C compilers for processors in embedded systems",
school = "Brno University of Technology, Faculty of Information Technology",
year = 2017,
location = "Brno, CZ",
language = "english",
url = "https://www.fit.vut.cz/study/phd-thesis/602/"
}