Optimal synthesis of differential cascode voltage switch (DCVS) logic circuits using ordered binary decision diagrams (OBDDs) | IEEE Conference Publication | IEEE Xplore