The paper titled "Power-Down Mode Verification for Hierarchical Analog Circuits", a result of the doctoral research project of Maximilian Neuner receives a Best Paper Award Runner-Up of the 16th Int. Con. on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) 2019.

Switching off unused components is crucial for modern mobile low-power applications. Analog circuits can often not be switched off at the power supply, but each transistor has to be switched off individually. The paper presents a new for this task that can deal with the hierarchical partitioning of analog circuits that is common industrial practice.

SMACD is a major European conference in the area of analog design automation.