Divided up the tasks of generate, simulate, and verify.