Realization And Formal Analysis Of Asynchronous Pulse Communication Circuits