Shrinidhi Udupi

According to our database, Shrinidhi Udupi authored at least 4 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Exploiting Hardware Unobservability for Low-Power Design and Safety Analysis in Formal Verification-Driven Design Flows.

Shrinidhi Udupi, Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz

IEEE Trans. Very Large Scale Integr. Syst., 2019

2017

Dynamic Power Optimization based on Formal Property Checking of Operations.

Shrinidhi Udupi, Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

2016

Properties first? a new design methodology for hardware, and its perspectives in safety analysis.

Joakim Urdahl, Shrinidhi Udupi, Tobias Ludwig, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2013

Formal system-on-chip verification: An operation-based methodology and its perspectives in low power design.

Joakim Urdahl, Shrinidhi Udupi, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2013 23rd International Workshop on Power and Timing Modeling, 2013