Using Connectivity and Spectral Methods to Characterize the Structure of Sequential Logic Circuits