Logic Testing based Hardware Trojan Detection