Design and Validation for FPGA Trust under Hardware Trojan Attacks