Fast Discovery of Illegal State Cubes for Sequential Equivalence Checking