Logic diagnosis-diversion or necessity? | IEEE Conference Publication | IEEE Xplore