2022-03-022022-03-022008978-3-00-025761-2https://publica.fraunhofer.de/handle/publica/14698910th IEEE International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design 2008. Proceedings