Test synthesis for DC test and maximal diagnosis of switched-capacitor circuits | IEEE Conference Publication | IEEE Xplore