| CPU and/or GPU: Revisiting the GPU vs. CPU myth K Kothapalli, DS Banerjee, PJ Narayanan, S Sood, AK Bahl, S Sharma, ... arXiv preprint arXiv:1303.2171, 2013 | 16 | 2013 |
| Robust design and validation of cyber-physical systems S Sood, A Malik, P Roop ACM Transactions on Embedded Computing Systems (TECS) 18 (6), 1-21, 2019 | 7 | 2019 |
| Formal Verification of Deep Neural Networks in Hardware SA Saji, S Agrawal, S Sood 2022 IEEE Women in Technology Conference (WINTECHCON), 1-6, 2022 | 1 | 2022 |
| A Technique of X-PROP Verification of Power-Aware Debug Logic Integration Using Formal Verification Techniques J Patil, S Sood, M Yeeshu 2023 3rd Asian Conference on Innovation in Technology (ASIANCON), 1-6, 2023 | | 2023 |
| A Formal Approach to Improve Connectivity Coverage in DFD, DFT, DFM, and DFX Domain J Patil, S Sood, Y Manu, K Golwelker, S Deshpande, AD KS 2023 IEEE International Test Conference India (ITC India), 1-5, 2023 | | 2023 |
| Design, validation and verification of Hybrid Systems S Sood PhD Thesis-University of Auckland, 2023 | | 2023 |
| A Novel Security Vulnerability Detection Mechanism Using Information Flow Tracking on a Complex SOC MK Munigala, S Sood, M KN, K Baladaniya 2022 IEEE Asia-Pacific Conference on Computer Science and Data Engineering …, 2022 | | 2022 |
| A novel approach to Real-time contract based reasoning for Hybrid Systems S Sood, A Malik, P Roop 2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022 | | 2022 |
| Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems S Sood, A Malik, P Roop 2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022 | | 2022 |
| Novel AI based pre-silicon Performance estimation and validation of complex System-on-Chip MK Munigala, S Sood, KN Madhusudhan 2021 IEEE Asia-Pacific Conference on Computer Science and Data Engineering …, 2021 | | 2021 |
| Implicit Adaptive Volume Ray Casting R Nigam, S Sood | | |
