Eshan Singh | 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
David Lin
3 publications
Srinivasa Shashank Nuthakki
2 publications
Keerthikumara Devarajegowda
2 publications
Sebastian Simon
2 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

∙ 02/04/2019

Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study

We present an industrial case study that demonstrates the practicality a...

0 Eshan Singh, et al. ∙

research

∙ 11/15/2017

Logic Bug Detection and Localization Using Symbolic Quick Error Detection

We present Symbolic Quick Error Detection (Symbolic QED), a structured a...

0 Eshan Singh, et al. ∙

Success!

An error occurred