Design automation for differential mos current-mode logic circuits (2019)