High Level Synthesis of Protocols Described by a Formal Description Technique

Abstract

A methodology that efficiently translates Estelle formal specifications into a VHDL description, suitable for High Level Synthesis of communication protocols is proposed. The effect of the protocol description style in VHDL on the result of the HLS scheduling step is discussed by report to the Dynamic Loop Scheduling algorithm. An example using a test protocol is given.