Boosting the Bounds of Symbolic QED for Effective Pre-Silicon Verification of Processor Cores

Karthik Ganesan, Srinivasa Shashank Nuthakki

Existing techniques to ensure functional correctness and hardware trust during pre-silicon verification face severe limitations. In this work, we systematically leverage two key id…