Abstract-The teorin om latency-okänslig design presenteras som grunden för en ny korrekt-by-konstruktion metod för att designa komplexa system genom att montera immateriella komponenter. Latency-okänslig design är synkrona distribuerade system och realiseras genom att komponera funktionella moduler som utbyter data på kommunikationskanaler enligt ett lämpligt protokoll. Protokollet fungerar utifrån antagandet att modulerna är ohållbara, ett svagt villkor för att be dem att lyda. Syftet med protokollet är att garantera att latens-okänslig design som består av funktionellt korrekta moduler beter sig korrekt oberoende av kanal latenser. Detta gör att vi kan öka robustheten i en designimplementation eftersom eventuella fördröjningsvariationer i en kanal kan "återtäckas" genom att ändra kanallatensen medan den övergripande systemfunktionaliteten förblir opåverkad. Som en följd av detta representeras en viktig tillämpning av den föreslagna teorin av latency-okänslig metodologi för att konstruera stora digitala integrerade kretsar med hjälp av djup submikrometerteknik. Index Terms-djup submikrometer design, formella metoder, latens-okänslig protokoll, systemdesign.
I modellen för latens-okänslig protokoll REF, komponenter betecknas med begreppet pärla ("intellektuell egenskap under ett skal").
Theory of latency-insensitive design
{'venue': 'IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS', 'journal': None, 'mag_field_of_study': ['Computer Science']}