Seminár UPSY - Dobai, R.: Generovanie testov pre asynchrónne sekvenčné digitálne obvody