Saranyu Chattopadhyay

Identifiers

• name variant Saranyu Chattopadhyay 0.60 · backfill

Papers (2)

1. Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers cs.LO · 2022 · author #2
2. Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition cs.LO · 2021 · author #1

Mentions

• 2209.05201 #2 · arxiv_oai · confidence 0.70 Saranyu Chattopadhyay
• 2108.06081 #1 · arxiv_oai · confidence 0.70 Saranyu Chattopadhyay

Frequent Coauthors

• Clark Barrett 2 shared papers
• Abhishek Nair 1 shared papers
• Alex Ozdemir 1 shared papers
• Caroline Trippel 1 shared papers
• Deepraj Soni 1 shared papers
• Deming Chen 1 shared papers
• Florian Lonsing 1 shared papers
• Haoze Wu 1 shared papers
• Jason Cong 1 shared papers
• Luca Carloni 1 shared papers
• Luca Piccolboni 1 shared papers
• Peng Wei 1 shared papers
• Ramesh Karri 1 shared papers
• Subhasish Mitra 1 shared papers
• Xiaofan Zhang 1 shared papers
• Yuan Zhou 1 shared papers
• Zhiru Zhang 1 shared papers