Low Power BDD-based Synthesis Using Dual Rail Static DCVSPG Logic | IEEE Conference Publication | IEEE Xplore