An Integrated Approach for Improving Compression and Diagnostic Properties of Test Sets. - Srinivasa Shashank Nuthakki; Santanu Chattopadhyay (ATS, 2015)

Test set customization for improved fault diagnosis without sacrificing coverage. - Srinivasa Shashank Nuthakki; Santanu Chattopadhyay; Mrityunjoy Chakraborty (ISCAS, 2015)

Improved Test Pattern Generation for Hardware Trojan Detection using Genetic Algorithm and Boolean Satisfiability. - Sayandeep Saha; Rajat Subhra Chakraborty; Srinivasa Shashank Nuthakki; Anshul; Debdeep Mukhopadhyay (IACR Cryptol. ePrint Arch., 2015)

Optimization of the IEEE 1687 access network for hybrid access schedules. - Srinivasa Shashank Nuthakki; Rajit Karmakar; Santanu Chattopadhyay; Krishnendu Chakrabarty (VTS, 2016)

Symbolic quick error detection using symbolic initial state for pre-silicon verification. - Mohammad Rahmani Fadiheh; Joakim Urdahl; Srinivasa Shashank Nuthakki; Subhasish Mitra; Clark W. Barrett; Dominik Stoffel; Wolfgang Kunz (DATE, 2018)

Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. - Florian Lonsing; Karthik Ganesan 001; Makai Mann; Srinivasa Shashank Nuthakki; Eshan Singh; Mario Srouji; Yahan Yang; Subhasish Mitra; Clark W. Barrett (ICCAD, 2019)

Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection. - Karthik Ganesan 001; Florian Lonsing; Srinivasa Shashank Nuthakki; Eshan Singh; Mohammad Rahmani Fadiheh; Wolfgang Kunz; Dominik Stoffel; Clark W. Barrett; Subhasish Mitra (CoRR, 2021)