Statistics for A graph based approach for formal verification of Galois field multipliers