Design produktivitetsgapet har erkänts av halvledarindustrin som ett av de största hoten mot den fortsatta tillväxten av system-på-chips och inbyggda system. Konstruktionsmetoder på ad hoc-nivå, som lyfter modellering till högre abstraktionsnivåer, och begreppet immateriella rättigheter (IP), som främjar återanvändning av befintliga komponenter, är viktiga steg för att hantera designens komplexitet. Frågan om korrekthet i sammansättningen uppstår dock med dessa steg. Eftersom komponenter från olika tillverkare är utformade med heterogena modeller på olika abstraktionsnivåer är det svårt att montera dem på ett korrekt sätt för varje konstruktion. Vi tar itu med denna utmaning genom att föreslå en processalgebraisk modell för att stödja systemdesign med en formell modell för beräkning och fungera som ett typsystem för att fånga beteendet hos systemkomponenter på gränssnittsnivå. Den föreslagna algebran är konceptuellt minimal, utrustad med en formell semantik definierad i en synkron beräkningsmodell. Den stöder ett skalbart begrepp och en flexibel abstraktionsgrad. Vi demonstrerar dess fördelar genom att överväga den typ-baserade syntesen av latency-insensitiva protokoll, visar att syntesen av komponentomslag kan optimeras genom beteendeinformation som bärs av gränssnitt typbeskrivningar och avkastning minimeras stallar och maximerad genomströmning.
De visade att syntesen av komponentomslag kan optimeras med hjälp av beteendeinformation som bärs av gränssnitt-typ beskrivningar för att ge minim-ized stånd och maximerad genomströmning REF.
An algebraic theory for behavioral modeling and protocol synthesis in system design