A design for testability scheme for modular and non-modular quantum dot cellular automata (QCA) employing stuck-at fault model