Att höja abstraktionens nivå ses allmänt som lösningen för att minska produktivitetsgapet i systemutformningen. De viktigaste för att lyckas med detta tillvägagångssätt är dock väldefinierade abstraktionsnivåer och modeller. I detta dokument presenterar vi sådana semantik på systemnivå för att täcka systemdesignprocessen. Vi definierar egenskaper och egenskaper hos varje modell. Formalisering av flödet möjliggör designautomation för syntes och verifiering för att uppnå de produktivitetsvinster som krävs. Genom anpassning gör semantiken det möjligt att skapa specifika designmetoder. Vi tillämpade koncepten på systemspråken SystemC och SpecC. Med hjälp av exemplet med en JPEG-kodare kommer vi att visa på genomförbarheten och effektiviteten i tillvägagångssättet.
En systemnivå semantik för en systemdesign process formalisering presenteras i REF.
System-level abstraction semantics
{'venue': '15th International Symposium on System Synthesis, 2002.', 'journal': '15th International Symposium on System Synthesis, 2002.', 'mag_field_of_study': ['Computer Science']}