Under CopyrightHalfmann, T.T.HalfmannWichmann, T.T.Wichmann2022-03-0715.09.20062003https://publica.fraunhofer.de/handle/publica/29195910.24406/publica-fhg-291959en519003006Overview of symbolic methods in industrial analog circuit designreport