ASAX: Automatic security assertion extraction for detecting Hardware Trojans | IEEE Conference Publication | IEEE Xplore