An automatic test pattern generator for large sequential circuits based on Genetic Algorithms