Abstract
This paper presents a new method for modelling and synthesising a wide range complex communication schemes. These schemes can range from simple protocols that govern access to shared resources to complex protocols that are commonly used in software-only systems such as computer networks. The proposed communication synthesis method deals with both protocol and interface synthesis and is based on communication unit allocation. We highlight within this paper the usefulness of this method when synthesising communication schemes for mixed hardware/software systems.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have