Abstract-Designa en effektiv flytta-punkt implementation av en funktion baserad på polynom utvärdering kräver att kunna hitta en korrekt nog utvärderingskod, utnyttjar som mest mål arkitektur funktioner. Denna artikel introducerar CGPE, ett verktyg som handlar om generering av snabba och certifierade koder för utvärdering av bivariat polynomials. Först diskuterar vi frågan bakom utvärderingssystemet combinatorics innan vi ger en översikt över CGPE-verktyget. Det tillvägagångssätt vi föreslår består av två steg: skapandet av utvärderingssystem genom att använda vissa heuristik för att snabbt hitta några av de låga latenserna, och det urval som huvudsakligen består i att automatiskt kontrollera deras schemaläggning på det givna målet och bekräfta deras noggrannhet. Därefter presenterar vi pågående utveckling och idéer för möjliga förbättringar av hela processen. Slutligen illustrerar vi användningen av CGPE på några exempel, och visar hur det gör att vi kan generera snabba och certifierade koder på några sekunder och därmed minska utvecklingstiden för libms som FLIP.
CGPE REF är ett programvaruverktyg som syntetiserar snabb och certifierad kod för univariat och bivariat polynom i aritmetisk fast punkt, optimerad för en specifik målarkitektur.
Automatic Generation of Fast and Certified Code for Polynomial Evaluation
{'venue': '2011 IEEE 20th Symposium on Computer Arithmetic', 'journal': '2011 IEEE 20th Symposium on Computer Arithmetic', 'mag_field_of_study': ['Computer Science']}