The Methodology
Orthogonalize computation and communication
Plug-and-Play system design
Chip assembled using IP cores exchanging data by means of a communication protocol
Interface Logic Blocks (the shells) encapsulate and protect the IP cores (the pearls)
Assume-Guarantee Reasoning is adopted to formally verify IP cores and communication protocols in separate steps
Work in collaboration with K. McMillan, L. Lavagno and A. Saldanha
Source: Prof. Alberto Sangiovanni