Optimal realization of switched-capacitor circuits by symbolic analysis | IEEE Conference Publication | IEEE Xplore