On the detection of always-on hardware trojans supported by a pre-silicon verification methodology