Follow
Sourav Das
Title
Cited by
Cited by
Year
SHAKTI-MS: a RISC-V processor for memory safety in C
S Das, RH Unnithan, A Menon, C Rebeiro, K Veezhinathan
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019
142019
CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications
S Das, S Sanyal, A Hazra, P Dasgupta
ACM Transactions on Design Automation of Electronic Systems 28 (1), 1-32, 2022
2022
The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits
S Sanyal, P Dasgupta, A Hazra, S Das, S Morrison, S Surendran, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–3