Asynchronous Sequential Circuit Problems