Novel Hardware Verification Methods for FPGAs

Promovendus/a
Alexandra Kourfali
Faculteit
Faculteit Ingenieurswetenschappen en Architectuur
Vakgroep
Vakgroep Elektronica en Informatiesystemen
Curriculum
Computer & Communication Engineering Diploma, University of Thessaly, Griekenland, 2012
Academische graad
Doctor in de ingenieurswetenschappen: computerwetenschappen
Taal proefschrift
Engels
Vertaling titel
Nieuwe hardwareverificatiemethoden voor FPGA's
Promotor(en)
prof. Dirk Stroobandt, vakgroep Elektronica en Informatiesystemen
Examencommissie
voorzitter prof. Filip De Turck (academisch secretaris) - prof. Erik D'Hollander (Vakgroep Elektronica en Informatiesystemen) - prof. Joni Dambre (Vakgroep Elektronica en Informatiesystemen) - prof. Lieven Eeckhout (Vakgroep Elektronica en Informatiesystemen) - prof. Fernanda Gusmao de Lima Kastensmidt (Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil) - prof. Nele Mentens (KU Leuven) - prof. Ingrid Moerman (Vakgroep Informatietechnologie) - prof. Dionisios Pnevmatikatos (Technical University of Crete, Chania, Greece) - prof. Dirk Stroobandt (Vakgroep Elektronica en Informatiesystemen)

Korte beschrijving

Omdat de Wet van Moore het aantal transistoren in geïntegreerde circuits (IC) blijft opdrijven door het naar beneden schalen van de transistordimensies, worden steeds complexere digitale circuits gerealiseerd. De voortdurende technologische evolutie leidt tot steeds complexere architecturen. Het verifiëren en valideren van deze ontwerpen is een steeds moeilijkere taak geworden. Bovendien bevatten meerdere ontwerpen veiligheids-kritische eigenschappen en moeten ze voldoen aan specifieke veiligheidsstandaarden. Dit maakt van IC-betrouwbaarheid een fundamenteel aandachtspunt in het ontwerpproces. Er bestaan verschillende hardware-verificatietechnieken, zoals formele verificatie, simulatie, foutinjectie, debugging, fouten vermijden, online test, enz. Ze worden gebruikt naargelang de vereisten van elk ontwerp en in verschillende stadia van de ontwerpcyclus. Er is een afweging tussen snelheid, ontwerpscomplexiteit en vereiste foutdekkingsgraad. In dit doctoraatswerk stel ik innovatieve technieken en tools voor om geïntegreerde betrouwbaarheid en verificatie aan te bieden in programmeerbare digitale elektronische chips (FPGA’s). Verder onderzoek ik methoden die de betrouwbaarheid en de interne observeerbaarheid van zowel commerciële als academische FPGA’s verhogen tijdens het debuggen. De doel-FPGA’s kunnen één of twee FPGA-lagen aan.

Praktisch

Wanneer
Maandag 24 juni 2019, 10:00
Waar
auditorium 1, iGent, eerste verdieping, Technologiepark Zwijnaarde 126, 9052 Zwijnaarde

Meer info

Contact
doctoraat.ea@UGent.be