This report describes the interface synthesis methodology at behavioral RTL, based on handshaking protocol using the the SpecC system level design language, which has been developed at CAD Lab., UC Irvine. We use the parity encoder with two communicating behaviors as example. To synchronize two communicating behaviors, we show the methodology to generate the handshaking protocol and transducer.

This report describes the SpecC RTL methodology, using a specific example (one's counter). We first begin with the introduction of one's counter. Then the behavioral view and the structural view of the SpecC implementation model are given to implement the one's counter in different style. The source codes are also included in the Appendix.