Deterministic method of genetic algorithms of test generation for digital systems verification

Models and procedures of test generation for digital systems verification based on genetic algorithms are offered. Program implementation of test generator is oriented to processing of digital circuits with large dimensionality and it combines advantages of genetic algorithms with advantages of deterministic ones.