SAT-based semiformal verification of hardware. - Sabih Agbaria; Dan Carmi; Orly Cohen; Dmitry Korchemny; Michael Lifshits; Alexander Nadel (FMCAD, 2010)