Formal analysis of bandwidth enhancement for high-performance active-input current mirror | IEEE Conference Publication | IEEE Xplore