Soc verification

Partners

  • Hogeschool West-Vlaanderen — departement PIH
  • Hogeschool Gent — departement Industriële wetenschappen

SOC Verification

SOC Verfication” is de roepnaam voor het IWT-Tetra-project “Verificatie van geavanceerde herconfigureerbare system op chip”. Dit project startte op 1 oktober 2007 en loopt tot 30 september 2009. Het is een samenwerking tussen Hogeschool Gent, Hogeschool West-Vlaanderen en verschillende wetenschappelijke en industriële partners. SOC-Verification wordt ondersteund door IWT-Vlaanderen.

Doelstellingen

Dit project focust zich op de verificatie van geavanceerde systemen op chip (SOC). SOC's worden in elektronicaproducten meer en meer gebruikt. Het is de cruciale “enabling technology”, want zonder de flexibiliteit, complexiteit en intelligentie van SOC's is innovatie moeilijk te realiseren.

Ontwerpers van Systemen op Chip staan echter voor ogenschijnlijk tegenstrijdige uitdagingen: ze moeten steeds complexere systemen ontwikkelen in een steeds kortere tijd. Analyse van de tijdsbesteding toont dat de ontwerpers vaak tot 70% van de tijd wijden aan verificatie en slechts 30% aan het ontwerp zelf. De complexiteit van verificatie stijgt bovendien sneller dan de complexiteit van het ontwerp. Men spreekt van de “verificatiecrisis” of de “ontwerp-verificatiekloof”. Wil men met de toenemende complexiteit van SOC’s de time-to-market laag houden, dan dringen er zich nieuwe verificatiemethodologieën op.

In dit project wensen we nieuwe talen, tools en technieken voor verificatie te bestuderen en toe te passen. We stellen design flows op en maken reference-designs waarop de ondernemingen zich kunnen baseren om hun eigen SOC te verifiëren

Doelgroep

We richten ons zowel naar KMO’s die reeds bezig zijn met FPGA-ontwikkelingen als zij die er morgen mee willen starten. Dit kunnen bedrijven zijn wiens core business elektronica-ontwikkeling is, maar ook bedrijven die om hun core business te realiseren elektronica nodig hebben en deze zelf ontwikkelen.