UT-onderzoekers hebben een methode ontwikkeld om een chipontwerp te genereren direct vanuit de wiskundige beschrijving van de gewenste functionaliteit. Het Clash-systeem (of Cλash, zoals de onderzoekers het officieel noemen) bestaat uit een compiler en bibliotheek voor (een subset van) de functionele programmeertaal Haskell. Promovendus Christiaan Baaij verdedigt morgen zijn proefschrift over het onderwerp.
Volgens de onderzoekers biedt de aanpak een aantrekkelijk alternatief voor het vastleggen van de functionaliteit in een circuit. Nu wordt de wiskundige beschrijving vaak handmatig vertaald naar een imperatieve programmeertaal zoals Matlab of (System)C, en die beschrijving wordt weer automatisch of handmatig omgezet naar een hardwarebeschrijvingstaal. Bij deze vertalingen gaat informatie verloren over de onderliggende wiskunde. Daardoor moeten er aannames gedaan worden over bijvoorbeeld parallellisatie, wat de prestaties niet ten goede komt.
In de Clash-aanpak wordt de wiskundige beschrijving door het gebruik van een functionele taal wel volledig vastgelegd. De compiler zet deze beschrijving in een stap om naar een netlist, die verder door standaard gereedschappen kan worden omgezet naar een hardwareontwerp. Het is formeel te bewijzen dat deze transformatie correct is.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.
