A genetic algorithm-based system for generating test programs for microprocessor IP cores