A synthesis system for communication protocols
A. S. Krishnakumar · 2003
A system for synthesizing custom hardware implementations from formal descriptions of communication protocols is described. This system allows different target technologies. The protocol to be synthesized is designed in the formal specification language APSL (Augmented Protocol Specification Language). This specification is analyzed, and a behavioral description of hardware for implementing this specification is generated. Different techniques are used to generate concise descriptions. A gate-level design is synthesized from this description using the behavioral synthesis system BESTMAP. This design can be mapped onto a standard library or onto programmable gate arrays or any other suitable technology. This system is used to implement a controller for the FDDI MAC layer protocol.>