A Hash-based Approach for Functional Regularity Extraction During Logic Synthesis