Repositorio RUIdeRA

Functional and timing in-hardware verification of fpga-based designs using unit testing frameworks

Mostrar el registro sencillo del ítem

dc.contributor.author Caba Jiménez, Julián
dc.date.accessioned 2018-07-25T10:52:18Z
dc.date.available 2018-07-25T10:52:18Z
dc.date.issued 2018
dc.identifier.uri http://hdl.handle.net/10578/18171
dc.description.abstract Nowadays, high-level modelling is becoming more and more popular to build new hardware designs, providing an early understanding of the design impact decisions, and allowing a more effective design space exploration, which results in a higher design productivity and improves the likelihood of finding the optimal implementation. However, the verification stage still entails an amount of non-trivial problems, such as the following: the trade-off between simulation effort and simulation accuracy completely depends on the design abstraction levels; each testing-level stage induces rewriting tests, which is time-consuming and prone to human errors; the time spent in verification accounts for roughly 60% of the development life-cycle. This task is therefore considered as the bottleneck of most projects; the synthesis consumption-time of a hardware design is too high and has third-party dependencies. This dissertation proposes a hardware verification framework using the new generation tools provided by FPGA vendors, whose verification accuracy is close to a real scenario, considering functional and timing factors. In addition, a transparent and remote testing service is provided to automate the verification stage. This service is composed by a hardware platform where a Design Under Test (DUT) is deployed into a dynamically reconfigurable area. DUTs are generated using High-Level Synthesis (HLS) tools, and are verified through unit testing, checking its behavioural and timing correctness. These tests are the same at any abstraction level. The testing process is transparently automated; an engineer commits his design code and unit tests written in a high-level language, such as C, into a repository, and automatically the testing service is able to synthesise the design code, deploy the DUT remotely into a Field-Programmable Gate Array (FPGA) and exercise it with the original unit tests, reporting the testing result to the engineer. In addition, we provide some facilities to reduce third-party dependencies and to increase the intermediate results.
dc.format text/plain es_ES
dc.language.iso en es_ES
dc.publisher Universidad de Castilla-La Mancha es_ES
dc.rights info:eu-repo/semantics/openAccess es_ES
dc.subject Informática es_ES
dc.title Functional and timing in-hardware verification of fpga-based designs using unit testing frameworks es_ES
dc.type info:eu-repo/semantics/doctoralThesis es_ES


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Buscar en RUIdeRA


Búsqueda avanzada

Listar

Mi cuenta