Fault Localization for Hardware Design Code with Time-Aware Program Spectrum | IEEE Conference Publication | IEEE Xplore