Srinivasa Shashank Nuthakki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2015–2019
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICCAD | Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. | Florian Lonsing, Karthik Ganesan, Makai Mann, Srinivasa Shashank Nuthakki, Eshan Singh, Mario Srouji, Yahan Yang, Subhasish Mitra, Clark W. Barrett |
| 2018 | DATE | 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 |
| 2016 | VTS | Optimization of the IEEE 1687 access network for hybrid access schedules. | Srinivasa Shashank Nuthakki, Rajit Karmakar, Santanu Chattopadhyay, Krishnendu Chakrabarty |
| 2015 | CHES | 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 |
| 2015 | ISCAS | Test set customization for improved fault diagnosis without sacrificing coverage. | Srinivasa Shashank Nuthakki, Santanu Chattopadhyay, Mrityunjoy Chakraborty |