Sequential logic synthesis using symbolic bi-decompositionVictor N. KravetsAlan Mishchenko2009DATE 2009