On the use of multiple-valued switch-level algebra to analyze binary MOS bridge circuits and dynamic circuits | IEEE Conference Publication | IEEE Xplore