Candidate subcircuit enumeration for module identification in digital circuits