Spectral Methods For Testing Of Digital Circuits