Text this: Design and detection of hardware Trojan based on satisfiability don't cares