Deterministic test generation for non-classical faults on the gate level