Melay-to-Moore transformation in safety-critical systems

In this paper we will show a method for transforming an asynchronously feed-backed Mealy machine into an equivalent Moore machine under use of dual-rail logic and the RS-Buffer. The resulting machine will be safe, stable and reproducable. We will further present a use-case to demonstrate the before mentioned transformation.