Fast error diagnosis for combinational verification Grant US-6662323-B1 United States of America 09 Dec 2003