Behavioural modelling of analog circuits by dynamic semi-symbolic analysis | IEEE Conference Publication | IEEE Xplore