Shobha Vasudevan Jacob A. Abraham Vinod Viswanath Jiajin Tu Automatic decomposition for sequential equivalence checking of system level and RTL descriptions. 71-80 2006 conf/memocode/2006 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2006.1695903 db/conf/memocode/memocode2006.html#VasudevanAVT06