Symbolic-numeric co-simulation of large analogue circuits | IEEE Conference Publication | IEEE Xplore