Area, power and temperature optimization during binary decision diagram based circuit synthesis | IEEE Conference Publication | IEEE Xplore