Detecting hardware Trojans in unspecified functionality through solving satisfiability problems - Nicole Fern; Şan, İsmail; İsmail Şan; Kwang-Ting (Tim) Cheng (My University, 2017)
Keywords: Computer science; Hardware Trojan; Universal asynchronous receiver/transmitter; Verilog; Boolean satisfiability problem; Embedded system; Satisfiability; Formal equivalence checking; Formal verification; Correctness; Programming language; Field-programmable gate array; Theoretical computer science; Algorithm; Computer hardware; Chip; Integrated circuit; Operating system