Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection.
Karthik GanesanFlorian LonsingSrinivasa Shashank NuthakkiEshan SinghMohammad Rahmani FadihehWolfgang KunzDominik StoffelClark W. BarrettSubhasish MitraPublished in: CoRR (2021)