Saranyu Chattopadhyay

12 papers A* 2B 2C 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2023 A* conf
G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators.
DAC
Saranyu Chattopadhyay, Keerthikumara Devarajegowda, Bihan Zhao, Florian Lonsing, Brandon A. D'Agostino, Ioanna Vavelidou, Vijay Deep Bhatt, Sebastian Prebeck, Wolfgang Ecker, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
2022 J jnl
LeGO: A Learning-Guided Obfuscation Framework for Hardware IP Protection.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Abdulrahman Alaql, Saranyu Chattopadhyay, Prabuddha Chakraborty, Tamzidul Hoque, Swarup Bhunia
2022 J jnl
Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers.
CoRR
Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett
2022 B conf
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.
FMCAD
Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett
2021 J jnl
A Conditionally Chaotic Physically Unclonable Function Design Framework with High Reliability.
ACM Trans. Design Autom. Electr. Syst.
Saranyu Chattopadhyay, Pranesh Santikellur, Rajat Subhra Chakraborty, Jimson Mathew, Marco Ottavi
2021 B conf
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition.
FMCAD
Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
2021 J jnl
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition.
CoRR
Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
2020 A* conf
A-QED Verification of Hardware Accelerators.
DAC
Eshan Singh, Florian Lonsing, Saranyu Chattopadhyay, Maxwell Strange, Peng Wei, Xiaofan Zhang, Yuan Zhou, Deming Chen, Jason Cong, Priyanka Raina, Zhiru Zhang, Clark W. Barrett, Subhasish Mitra
2019 C conf
Cyclic Beneš Network Based Logic Encryption for Mitigating SAT-Based Attacks.
ICCD
Saranyu Chattopadhyay, Rajat Subhra Chakraborty
2019 — conf
Machine Learning Assisted Accurate Estimation of Usage Duration and Manufacturer for Recycled and Counterfeit Flash Memory Detection.
ATS
Saranyu Chattopadhyay, Preeti Kumari, Biswajit Ray, Rajat Subhra Chakraborty
2018 J jnl
A novel technique for implementing reactance in spin domain using Spin Hall Effect.
Microelectron. J.
Saranyu Chattopadhyay
2017 — conf
STT-MRAM for Low Power Access for Read-Intensive Parallel Deep-Learning Architectures.
iNIS
Saranyu Chattopadhyay, Kaustav Brahma, Arkaprova Ray, Mrigank Sharad