Encoding of Asynchronous Sequential Circuits