published in IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers Journal
presented at event 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Conference
keywords ASSERTIONS Bit-flip Detection Computer Science Computer Science, Hardware & Architecture Computer Science, Theory & Methods Engineering Engineering, Electrical & Electronic Hardware Invariants Post-Silicon Validation Science & Technology Technology