Hardware Trojan Detection In Sequential Logic Designs