Get started
Author

Sourav Das

Observed name: S. D. Das
ORCID: 0000-0001-9514-141X
Observed ORCID: 0000-0001-9514-141X
OpenAlex ID: A5000985364
SHAKTI-MS: a RISC-V processor for memory safety in C
2019 · Sourav Das, R. Harikrishnan Unnithan, et al. · ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) · 24
Magnetic field-dependent study of excess conductivity and pseudogap state of single grain GdBa$$_{\varvec{2}}$$Cu$$_{\varvec{3}}$$O$$_{\varvec{7-\delta }}$$ superconductor
2022 · Subhasis Shit, Devendra K. Namburi, et al. · Applied Physics A · 4
CoVerPlan: A Co mprehensive Ver ification Plan ning Framework Leveraging PSS Specifications
2022 · Sourav Das, Sayandeep Sanyal, et al. · ACM Transactions on Design Automation of Electronic Systems · 2
The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits
2022 · Sayandeep Sanyal, Pallab Dasgupta, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1
SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification
2025 · Sourav Das, Aritra Hazra, et al. · Asia and South Pacific Design Automation Conference (ASP-DAC)
PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification
2025 · Sourav Das, Aritra Hazra, et al. · International Conference on VLSI Design
Works count: 7
Citation count: 31
H-index: 2
I10-index: 1
Year
Topic
Type