Singh, Eshan
93  results:
Search for persons X
?
1

Logic Bug Detection and Localization Using Symbolic Quick E..:

Singh, Eshan ; Lin, David ; Barrett, Clark.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  , 2024
 
?
3

LFPS: Learned Formal Proof Strengthening for Efficient Hard..:

, In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD),
Kang, Minwoo ; Nova, Azade ; Singh, Eshan.. - p. 1-9 , 2023
 
?
8

Using deep learning to diagnose preignition in turbocharged..:

, In: Artificial Intelligence and Data Driven Optimization of Internal Combustion Engines,
 
?
10

Contributors:

, In: Artificial Intelligence and Data Driven Optimization of Internal Combustion Engines,
 
?
13

Understanding the synergistic blending octane behavior of 2..:

Shankar, Vijai Shankar Bhavani ; Li, Yang ; Singh, Eshan.
Proceedings of the Combustion Institute.  38 (2021)  4 - p. 5625-5633 , 2021
 
?
14

Using deep neural networks to diagnose engine pre-ignition:

Kuzhagaliyeva, Nursulu ; Thabet, Ali ; Singh, Eshan..
Proceedings of the Combustion Institute.  38 (2021)  4 - p. 5915-5922 , 2021
 
?
15

Gap-free processor verification by S2QED and property gener..:

, In: Proceedings of the 23rd Conference on Design, Automation and Test in Europe,
 
1-15