Logic Optimization for Asynchronous SI Controllers using Transduction Method