Sourav Das

Employment

• Centre for Railway Information Systems Assistant Software Engineer
  2014 - 2017

Education

• Indian Institute of Technology Kharagpur Ph.D.
  2020 - Present
• Govt. College of Engineering and Ceramic Technology B.Tech
  2010 - 2014

Projects & Funding

Projects & funding information is unavailable.

Publications (6)

• SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification
  2025 DOI: 10.1145/3658617.3697761
  +Save
• PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification
  2025 38th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID) 2025 DOI: 10.1109/vlsid64188.2025.00015
  +Save
• PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification
  2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) 2024
  +Save
• CoVerPlan: A Co mprehensive Ver ification Plan ning Framework Leveraging PSS Specifications
  ACM Transactions on Design Automation of Electronic Systems 2023 DOI: 10.1145/3543175
  +Save
• The CoveRT Approach for Coverage Management in Analog and Mixed Signal Integrated Circuits
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2022 DOI: 10.1109/tcad.2022.3157686
  +Save
• SHAKTI-MS: A RISC-V processor for memory safety in C
  Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems - LCTES 2019 2019 DOI: 10.1145/3316482.3326356
  +Save