Sayandeep Sanyal

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (4)

• 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
• Recurrence in Dense-Time AMS Assertions
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2021 DOI: 10.1109/TCAD.2020.3040259
  +Save
• A Methodology for Identification of Internal Nets for Improving Fault Coverage in Analog and Mixed Signal Circuits
  Journal of Electronic Testing 2020 DOI: 10.1007/s10836-020-05915-z
  +Save