GATTO: An Intelligent Tool for Automatic Test Pattern Generation for Digital Circuits