Title: Random testing of asynchronous VLSI circuits