Describir: Generovanie testov pre asynchrónne sekvenčné digitálne obvody