A case study on logic diagnosis for System-on-Chip | IEEE Conference Publication | IEEE Xplore