A Genetic Testing Framework for Digital Integrated Circuits