Interface synthesis
Gaetano Borriello, Luciano Lavagno, Ross B. Ortega · 1998
Interface synthesis seeks to automate the process of interconnecting component.There are many levels of interconnection that must be considered including electrical, power, logic, register-transfer, device drivers, and higher software levels.This presentation ~cover a vertical stice of the interfacing problem from digital logic up to coordinating communications between software components.The focus Ml be within an embedded systems context where the interfacing is between procwsors and memory and peripheral blocks as is the case in system-on-a-chip design.The structure of the tutorial ~parallel the history of CAD efforts in this area.We wi~ begin with the early work in interface specMcation and logic synthesis then proceed on to the problems of interconnecting hardware to processors and their software, and ftish with purely software interfaces involving inter-process communication and protocols between multiple procwsors.At each level we ti discuss specflcation, synthesis, and verification aspecti as we~as higtight the currently avdable tools and on-going r=earch efforts.