Designers Work Less with Quality Formal Equivalence Checking Author(s): Orly Cohen, Moran Gordon, Michael Lifshits, Alexander Nadel, and Vadim Ryvchin Download