Ivanov, D. Y. GENETIC APPROACH TO THE VERIFYING OF THE SEQUENTIAL CIRCUITS. RIC 2008.