Hi there! Our colleague Andrei wrote last month a verification article about how to accelerate the debugging process in verification by using error clustering. You can