Efficient Trojan And Error Detection And Localization Techniques Using Assertion Based Verification