Srinivasa Shashank Nuthakki

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 4

Top Topics

Error Detection

Boolean Satisfiability

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Karthik Ganesan, Florian Lonsing, Srinivasa Shashank Nuthakki, Eshan Singh, Mohammad Rahmani Fadiheh, Wolfgang Kunz, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection. CoRR (2021)
Florian Lonsing, Karthik Ganesan, Makai Mann, Srinivasa Shashank Nuthakki, Eshan Singh, Mario Srouji, Yahan Yang, Subhasish Mitra, Clark W. Barrett
Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. ICCAD (2019)
Mohammad Rahmani Fadiheh, Joakim Urdahl, Srinivasa Shashank Nuthakki, Subhasish Mitra, Clark W. Barrett, Dominik Stoffel, Wolfgang Kunz
Symbolic quick error detection using symbolic initial state for pre-silicon verification. DATE (2018)
Srinivasa Shashank Nuthakki, Rajit Karmakar, Santanu Chattopadhyay, Krishnendu Chakrabarty
Optimization of the IEEE 1687 access network for hybrid access schedules. VTS (2016)
Srinivasa Shashank Nuthakki, Santanu Chattopadhyay, Mrityunjoy Chakraborty
Test set customization for improved fault diagnosis without sacrificing coverage. ISCAS (2015)
Srinivasa Shashank Nuthakki, Santanu Chattopadhyay
An Integrated Approach for Improving Compression and Diagnostic Properties of Test Sets. ATS (2015)
Sayandeep Saha, Rajat Subhra Chakraborty, Srinivasa Shashank Nuthakki, Anshul, Debdeep Mukhopadhyay
Improved Test Pattern Generation for Hardware Trojan Detection using Genetic Algorithm and Boolean Satisfiability. IACR Cryptol. ePrint Arch. 2015 (2015)
Sayandeep Saha, Rajat Subhra Chakraborty, Srinivasa Shashank Nuthakki, Anshul, Debdeep Mukhopadhyay
Improved Test Pattern Generation for Hardware Trojan Detection Using Genetic Algorithm and Boolean Satisfiability. CHES (2015)