An Efficient Scan Chain Diagnosis Method Using a New Symbolic Simulation | IEEE Conference Publication | IEEE Xplore