An Efficient Design Methodology for Complex Sequential Asynchronous Digital Circuits