#Time : 2019 / 8 / 28 Wednesday 14:00~15:30
#Venue : R108,1F Engineering Building 4, NCTU
#Speaker : Dr.-Ing. Markus Olbrich
Academic Director of the EDA group,
Institute of Microelectronic Systems, University of Hannover, Germany
#Host: Prof. Hung-Ming Chen 陳宏明 / Director, Inst. of Electronics, NCTU
#Language : English
Event site https://www.facebook.com/events/2465054923773021/
Analog circuit verification is a challenging task due to several reasons: There are many varying conditional parameters that affect the circuit behavior, such as process parameters, voltage, temperature and aging-related degradation. Additionally, analog circuits have many use cases and complex specifications. This leads to a situation in which it is not possible to cover all possible scenarios using a limited set of simulation runs in an acceptable time. The talk will present some of the work to address these challenges. An obvious improvement is the acceleration of analog simulation. In the context of mixed-signal circuit environment, it can be exploited that signal shapes are limited to specific functions. An approach that utilizes this fact to speed up mixed-signal simulation will be presented. An other challenge is that value ranges are continuoues in the analog world. This contradicts the simulation with defined single parameter values. As an option to address this problem, formal analog verification approaches will be presented. In this way, circuit parameters, voltages and currents are represented by sets such as intervals. This allows to verify a whole set of parameter combinations in a single simulation run. To evaluate the verification completeness, there are already coverage measures for digital circuit verification. However, they are not directly applicable in the analog world. For this an analog coverage model that leads to verification coverage metrics is presented.
Markus Olbrich was born in 1968 in Hannover, Germany. He received the Diploma degree in Electrical Engineering in 1996 at the University of Hannover. Since then he has been with the Institute of Microelectronic Systems. In 2010 he became the Academic Director of the EDA group and is in charge of the analog circuits design methods activities. His research interests cover pyhisical design and analog/mixed-signal verification topics with emphasis on modeling of parasitic effects as well as robust design methods.