Schemaläggning spelar en central roll i beteendesyntesprocessen, som automatiskt sammanställer högnivåspecifikationer till optimerade hårdvaruimplementeringar. De flesta av de befintliga beteende-nivå schemaläggning heuristik antingen har en begränsad effektivitet i en viss klass av tillämpningar eller saknar allmänt stöd för olika konstruktion begränsningar. I detta papper beskriver vi en ny schemaläggare som omvandlar en rik uppsättning schemaläggning begränsningar till ett system av skillnader begränsningar (SDC) och utför en mängd olika kraftfulla optimeringar under en enhetlig matematisk programmeringsram. I synnerhet visar vi att vår SDC-baserade schemaläggningsalgoritm effektivt kan stödja resursbegränsningar, frekvensbegränsningar, latensbegränsningar och relativa tidsbegränsningar, och effektivt optimera längsta banlatens, förväntad total latens, och slack distribution. Experiment visar att vår föreslagna teknik ger effektiva lösningar för ett bredare spektrum av tillämpningar med högre resultatkvalitet (i form av systemprestanda) jämfört med de senaste schemaläggningsheuristikerna.
System of Difference Constraints (SDC) REF använder en matematisk ram för att beskriva schemaläggning begränsningar och utför optimering genom att lösa ett linjär programmering (LP) problem.
An efficient and versatile scheduling algorithm based on SDC formulation
{'venue': "DAC '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}