@article{Ivanov_2008, title={GENETIC APPROACH TO THE VERIFYING OF THE SEQUENTIAL CIRCUITS}, url={http://ric.zntu.edu.ua/article/view/23613}, abstractNote={<p>Under the life cycle of the development of the modern digital circuits a problem of verification of two circuits is arise. It is caused, for example, by using several optimization procedures. In this paper a genetic algorithm of solving this problem is proposed. Reported experimental results on the ISCAS-89 benchmarks confirm the efficient of the proposed algorithm.</p>}, number={1}, journal={Radio Electronics, Computer Science, Control}, author={Ivanov, D. Ye.}, year={2008}, month={Sep.} }