Srinivasa Shashank Nuthakki | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Clark Barrett
54 publications
Subhasish Mitra
10 publications
Florian Lonsing
8 publications
Dominik Stoffel
7 publications
Karthik Ganesan
6 publications
Wolfgang Kunz
6 publications
Mohammad Rahmani Fadiheh
4 publications
Eshan Singh
3 publications

research

∙ 06/18/2021

Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection

We present a novel approach to pre-silicon verification of processor des...

0 Karthik Ganesan, et al. ∙

research

∙ 08/19/2019

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

Existing techniques to ensure functional correctness and hardware trust ...

0 Karthik Ganesan, et al. ∙

Success!

An error occurred