BDD Based Logic Synthesis and Optimization for Low Power Comparator Circuit | IEEE Conference Publication | IEEE Xplore