tokens: Our IFS verification framework is based on a novel concept of modeling an asset ( e.g. , a net carrying a secret key ) as a stuck - at-0 and stuck - at-1 fault and leveraging the automatic test pattern generation ( ATPG ) algorithm to detect that faults .