Login / Signup
Shrinidhi Udupi
ORCID
Publication Activity (10 Years)
Years Active: 2013-2019
Publications (10 Years): 4
Top Topics
Safety Analysis
Hw Sw
Formal Verification
Low Power
Top Venues
PATMOS
MBMV
VLSI Design
ICCAD
</>
Publications
</>
Shrinidhi Udupi
,
Joakim Urdahl
,
Dominik Stoffel
,
Wolfgang Kunz
Exploiting Hardware Unobservability for Low-Power Design and Safety Analysis in Formal Verification-Driven Design Flows.
IEEE Trans. Very Large Scale Integr. Syst.
27 (6) (2019)
Shrinidhi Udupi
,
Joakim Urdahl
,
Dominik Stoffel
,
Wolfgang Kunz
Dynamic Power Optimization Based on Formal Property Checking of Operations.
VLSI Design
(2017)
Shrinidhi Udupi
,
Joakim Urdahl
,
Dominik Stoffel
,
Wolfgang Kunz
Dynamic Power Optimization based on Formal Property Checking of Operations.
MBMV
(2017)
Joakim Urdahl
,
Shrinidhi Udupi
,
Tobias Ludwig
,
Dominik Stoffel
,
Wolfgang Kunz
Properties first? a new design methodology for hardware, and its perspectives in safety analysis.
ICCAD
(2016)
Joakim Urdahl
,
Shrinidhi Udupi
,
Dominik Stoffel
,
Wolfgang Kunz
Formal system-on-chip verification: An operation-based methodology and its perspectives in low power design.
PATMOS
(2013)